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
  
• Susanne Albers, Markus Büttner:
  Integrated prefetching and caching in single and parallel disk systems. 24-39
  
• Yves Métivier, Nasser Saheb-Djahromi, Akka Zemmari:
  Locally guided randomized elections in trees: The totally fair case. 40-55
  
• Matthias Galota, Heribert Vollmer:
  Functions computable in polynomial space. 56-70
  

Volume 198, Number 2, 1 May 2005

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

Last update Thu May 23 14:51:32 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page