Information and Computation, Volume 181

Volume 181, Number 1, 25 February 2003

• Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre:
  Well-abstracted transition systems: application to FIFO automata. 1-31
  Electronic Edition (link) BibTeX
• Peter Hertling, Klaus Weihrauch:
  Random elements in effective topological spaces with measure. 32-56
  Electronic Edition (link) BibTeX
• Amihood Amir, Richard Cole, Ramesh Hariharan, Moshe Lewenstein, Ely Porat:
  Overlap matching. 57-74
  Electronic Edition (link) BibTeX

Volume 181, Number 2, 15 March 2003

• Jop F. Sibeyn:
  List-ranking on interconnection networks. 75-87
  Electronic Edition (link) BibTeX
• Guozhu Dong, Leonid Libkin, Limsoon Wong:
  Incremental recomputation in local languages. 88-98
  Electronic Edition (link) BibTeX
• Nicolas Peltier:
  Extracting models from clause sets saturated under semantic refinements of the resolution rule. 99-130
  Electronic Edition (link) BibTeX