ask others

Information and Computation, Volume 126

> Home > Journals > Information and Computation

Volume 126, Number 1, 10 April 1996

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

Volume 126, Number 2, 1 May 1996

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Droste96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Droste96
Manfred Droste:
Aperiodic Languages in Concurrency Monoids. 105-113
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/HancockJLT96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/HancockJLT96
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
  dblp key:
  - journals/iandc/BlooKN96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/BlooKN96
Roel Bloo, Fairouz Kamareddine, Rob Nederpelt:
The Barendregt Cube with Definitions and Generalised Reduction. 123-143
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Ringeissen96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Ringeissen96
Christophe Ringeissen:
Combining Decision Algorithms for Matching in the Union of Disjoint Equational Theories. 144-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/iandc/Chaudhuri96
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/iandc/Chaudhuri96
Shiva Chaudhuri:
Sensitive Functions and Approximate Problems. 161-168