Information and Computation, Volume 137

Volume 137, Number 1, August 25, 1997

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/FairtloughM97
- ask others
Matt Fairtlough, Michael Mendler: Propositional Lax Logic. 1-33
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Intrigila97
- ask others
Benedetto Intrigila: Non-existent Statman's Double Fixedpoint Combinator Does Not Exist, Indeed. 35-40
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/FalaschiGMP97
- ask others
Moreno Falaschi, Maurizio Gabbrielli, Kim Marriott, Catuscia Palamidessi: Constraint Logic Programming with Dynamic Scheduling: A Semantics Based on Closure Operators. 41-67
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Lafont97
- ask others
Yves Lafont: Interaction Combinators. 69-101

Volume 137, Number 2, September 15, 1997

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/CzumajHS97
- ask others
Artur Czumaj, Friedhelm Meyer auf der Heide, Volker Stemann: Simulating Shared Memory in Real Time: On the Computation Power of Reconfigurable Architectures. 103-120
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/AcetoF97
- ask others
Luca Aceto, Wan Fokkink: An Equational Axiomatization for Multi-Exit Iteration. 121-158
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/CookIY97
- ask others
Stephen A. Cook, Russell Impagliazzo, Tomoyuki Yamakami: A Tight Relationship Between Generic Oracles and Type-2 Complexity Theory. 159-170