Information and Computation, Volume 137

Volume 137, Number 1, August 25, 1997

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

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
  
• Luca Aceto, Wan Fokkink:
  An Equational Axiomatization for Multi-Exit Iteration. 121-158
  
• Stephen A. Cook, Russell Impagliazzo, Tomoyuki Yamakami:
  A Tight Relationship Between Generic Oracles and Type-2 Complexity Theory. 159-170
  

Last update Mon May 20 17:24:16 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page