Journal: Inf. Comput.

Volume 137, Issue 2

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

Volume 137, Issue 1

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