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
Copyright ©
Sat May 16 23:59:59 2009 by
Michael Ley
(
ley@uni-trier.de
)