Information and Computation, Volume 198

Volume 198, Number 1, 10 April 2005

• Jin-yi Cai, Venkatesan T. Chakaravarthy, Lane A. Hemaspaandra, Mitsunori Ogihara:
  Competing provers yield improved Karp-Lipton collapse results. 1-23
  Electronic Edition (link) BibTeX
• Susanne Albers, Markus Büttner:
  Integrated prefetching and caching in single and parallel disk systems. 24-39
  Electronic Edition (link) BibTeX
• Yves Métivier, Nasser Saheb-Djahromi, Akka Zemmari:
  Locally guided randomized elections in trees: The totally fair case. 40-55
  Electronic Edition (link) BibTeX
• Matthias Galota, Heribert Vollmer:
  Functions computable in polynomial space. 56-70
  Electronic Edition (link) BibTeX

Volume 198, Number 2, 1 May 2005

• Dario Colazzo, Giorgio Ghelli:
  Subtyping recursion and parametric polymorphism in kernel fun. 71-147
  Electronic Edition (link) BibTeX
• Yoram Hirshfeld, Alexander Moshe Rabinovich:
  Timer formulas and decidable metric temporal logic. 148-178
  Electronic Edition (link) BibTeX