Search dblp for Publications

export results for "toc:db/journals/iandc/iandc127.bht:"

 download as .bib file

@article{DBLP:journals/iandc/AbdullaJ96,
  author       = {Parosh Aziz Abdulla and
                  Bengt Jonsson},
  title        = {Verifying Programs with Unreliable Channels},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {91--101},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0053},
  doi          = {10.1006/INCO.1996.0053},
  timestamp    = {Tue, 31 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/iandc/AbdullaJ96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/AcetoGFI96,
  author       = {Luca Aceto and
                  Rob J. van Glabbeek and
                  Wan J. Fokkink and
                  Anna Ing{\'{o}}lfsd{\'{o}}ttir},
  title        = {Axiomatizing Prefix Iteration with Silent Steps},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {1},
  pages        = {26--40},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0047},
  doi          = {10.1006/INCO.1996.0047},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/AcetoGFI96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Brookes96,
  author       = {Stephen D. Brookes},
  title        = {Full Abstraction for a Shared-Variable Parallel Language},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {145--163},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0056},
  doi          = {10.1006/INCO.1996.0056},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Brookes96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Fiore96,
  author       = {Marcelo P. Fiore},
  title        = {A Coinduction Principle for Recursive Data Types Based on Bisimulation},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {186--198},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0058},
  doi          = {10.1006/INCO.1996.0058},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Fiore96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Gianantonio96,
  author       = {Pietro Di Gianantonio},
  title        = {Real Number Computability and Domain Theory},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {1},
  pages        = {11--25},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0046},
  doi          = {10.1006/INCO.1996.0046},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Gianantonio96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/HillebrandKM96,
  author       = {Gerd G. Hillebrand and
                  Paris C. Kanellakis and
                  Harry G. Mairson},
  title        = {Database Query Languages Embedded in the Typed Lambda Calculus},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {117--144},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0055},
  doi          = {10.1006/INCO.1996.0055},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/HillebrandKM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/JoyalNW96,
  author       = {Andr{\'{e}} Joyal and
                  Mogens Nielsen and
                  Glynn Winskel},
  title        = {Bisimulation from Open Maps},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {164--185},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0057},
  doi          = {10.1006/INCO.1996.0057},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/JoyalNW96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Pitts96,
  author       = {Andrew M. Pitts},
  title        = {Relational Properties of Domains},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {66--90},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0052},
  doi          = {10.1006/INCO.1996.0052},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Pitts96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Vardi96,
  author       = {Moshe Y. Vardi},
  title        = {In Memoriam: Paris C. Kanellakis {(1953-1995)}},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {65},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0051},
  doi          = {10.1006/INCO.1996.0051},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Vardi96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Viswanathan96,
  author       = {John C. Mitchell and
                  Ramesh Viswanathan},
  title        = {Standard {ML-NJ} Weak Polymorphism and Imperative Constructs},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {2},
  pages        = {102--116},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0054},
  doi          = {10.1006/INCO.1996.0054},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Viswanathan96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Vogler96,
  author       = {Walter Vogler},
  title        = {The Limit of Split\({}_{\mbox{n}}\)-Language Equivalence},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {1},
  pages        = {41--61},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0048},
  doi          = {10.1006/INCO.1996.0048},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Vogler96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/iandc/Vyugin96,
  author       = {Vladimir V. V'yugin},
  title        = {Bayesianism: An Algorithmic Analysis},
  journal      = {Inf. Comput.},
  volume       = {127},
  number       = {1},
  pages        = {1--10},
  year         = {1996},
  url          = {https://doi.org/10.1006/inco.1996.0045},
  doi          = {10.1006/INCO.1996.0045},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/iandc/Vyugin96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.