Information and Computation, Volume 126

Volume 126, Number 1, 10 April 1996

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/FokkinkG96
- ask others
Wan Fokkink, Rob J. van Glabbeek: Ntyft/Ntyxt Rules Reduce to Ntree Rules. 1-10
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/HofmannP96
- ask others
Martin Hofmann, Benjamin C. Pierce: Positive Subtyping. 11-33
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/BorealeN96
- ask others
Michele Boreale, Rocco De Nicola: A Symbolic Semantics for the pi-Calculus. 34-52
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/SayeedA96
- ask others
Hasan Md. Sayeed, Hosame Abu-Amara: Efficient Perfectly Secure Message Transmission in Synchronous Networks. 53-61
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/AlurT96
- ask others
Rajeev Alur, Gadi Taubenfeld: Contention-Free Complexity of Shared Memory Algorithms. 62-73
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Plotkin96
- ask others
Gordon D. Plotkin: On a Question of H. Friedman. 74-77
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Itoh96
- ask others
Toshiya Itoh: Simulating Fair Dice with Biased Coins. 78-82
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/BoudolL96
- ask others
Gérard Boudol, Cosimo Laneve: The Discriminating Power of Multiplicities in the Lambda-Calculus. 83-102

Volume 126, Number 2, 1 May 1996

- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Droste96
- ask others
Manfred Droste: Aperiodic Languages in Concurrency Monoids. 105-113
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/HancockJLT96
- ask others
Thomas R. Hancock, Tao Jiang, Ming Li, John Tromp: Lower Bounds on Learning Decision Lists and Trees. 114-122
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/BlooKN96
- ask others
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt: The Barendregt Cube with Definitions and Generalised Reduction. 123-143
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Ringeissen96
- ask others
Christophe Ringeissen: Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. 144-160
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/iandc/Chaudhuri96
- ask others
Shiva Chaudhuri: Sensitive Functions and Approximate Problems. 161-168