Information and Computation, Volume 127

Volume 127, Number 1, 25 May 1996

Vladimir V. V'yugin: Bayesianism: An Algorithmic Analysis. 1-10 BibTeX
Pietro Di Gianantonio: Real Number Computability and Domain Theory. 11-25 BibTeX
Luca Aceto, Rob J. van Glabbeek, Wan Fokkink, Anna Ingólfsdóttir: Axiomatizing Prefix Iteration with Silent Steps. 26-40 BibTeX
Walter Vogler: The Limit of Split_n-Language Equivalence. 41-61 BibTeX

Moshe Y. Vardi: In Memoriam: Paris C. Kanellakis (1953-1995). 65 BibTeX
Andrew M. Pitts: Relational Properties of Domains. 66-90 BibTeX
Parosh Aziz Abdulla, Bengt Jonsson: Verifying Programs with Unreliable Channels. 91-101 BibTeX
John C. Mitchell, Ramesh Viswanathan: Standard ML-NJ Weak Polymorphism and Imperative Constructs. 102-116 BibTeX
Gerd G. Hillebrand, Paris C. Kanellakis, Harry G. Mairson: Database Query Languages Embedded in the Typed Lambda Calculus. 117-144 BibTeX
Stephen D. Brookes: Full Abstraction for a Shared-Variable Parallel Language. 145-163 BibTeX
André Joyal, Mogens Nielsen, Glynn Winskel: Bisimulation from Open Maps. 164-185 BibTeX
Marcelo P. Fiore: A Coinduction Principle for Recursive Data Types Based on Bisimulation. 186-198 BibTeX