Information and Computation, Volume 191

Volume 191, Number 1, 25 May 2004

• Joseph Y. Halpern, Richard A. Shore:
  Reasoning about common knowledge with infinitely many agents. 1-40
  Electronic Edition (link) BibTeX
• Adriana B. Compagnoni:
  Higher-order subtyping and its decidability. 41-103
  Electronic Edition (link) BibTeX

Volume 191, Number 2, 15 June 2004

• Gerald Lüttgen, Walter Vogler:
  Bisimulation on speed: worst-case efficiency. 105-144
  Electronic Edition (link) BibTeX
• Nobuko Yoshida, Martin Berger, Kohei Honda:
  Strong normalisation in the pi -calculus. 145-202
  Electronic Edition (link) BibTeX
• Luca Aceto, Wan Fokkink, Rob J. van Glabbeek, Anna Ingólfsdóttir:
  Nested semantics over finite trees are equationally hard. 203-232
  Electronic Edition (link) BibTeX