researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal: Inf. Comput.
Home
Index
Info
Volume
Volume
137
, Issue
2
103
--
120
Artur Czumaj
,
Friedhelm Meyer auf der Heide
,
Volker Stemann
.
Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures
121
--
158
Luca Aceto
,
Wan Fokkink
.
An Equational Axiomatization for Multi-Exit Iteration
159
--
170
Stephen A. Cook
,
Russell Impagliazzo
,
Tomoyuki Yamakami
.
A Tight Relationship Between Generic Oracles and Type-2 Complexity Theory
Volume
137
, Issue
1
1
--
33
Matt Fairtlough
,
Michael Mendler
.
Propositional Lax Logic
35
--
40
Benedetto Intrigila
.
Non-existent Statman s Double Fixedpoint Combinator Does Not Exist, Indeed
41
--
67
Moreno Falaschi
,
Maurizio Gabbrielli
,
Kim Marriott
,
Catuscia Palamidessi
.
Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators
69
--
101
Yves Lafont
.
Interaction Combinators