Information and Computation, Volume 127

Volume 127, Number 1, 25 May 1996

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

Volume 127, Number 2, 15 June 1996

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

Last update Mon Feb 13 04:48:34 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page