Information and Computation, Volume 137

Volume 137, Number 1, August 25, 1997

• Matt Fairtlough, Michael Mendler: Propositional Lax Logic. 1-33 BibTeX
• Benedetto Intrigila: Non-existent Statman's Double Fixedpoint Combinator Does Not Exist, Indeed. 35-40 BibTeX
• Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. 41-67 BibTeX
• Yves Lafont: Interaction Combinators. 69-101 BibTeX

Volume 137, Number 2, September 15, 1997

• Artur Czumaj, Friedhelm Meyer auf der Heide, Volker Stemann: Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. 103-120 BibTeX
• Luca Aceto, Wan Fokkink: An Equational Axiomatization for Multi-Exit Iteration. 121-158 BibTeX
• Stephen A. Cook, Russell Impagliazzo, Tomoyuki Yamakami: A Tight Relationship Between Generic Oracles and Type-2 Complexity Theory. 159-170 BibTeX