Information and Computation, Volume 170

Volume 170, Number 1, October 2001

• Markus Lohrey: Confluence Problems for Trace Rewriting Systems. 1-25
• Vladimír Glasnák: Sparse Sets and Collapse of Complexity Classes. 26-48
• Andrea Asperti, Harry G. Mairson: Parallel Beta Reduction Is Not Elementary Recursive. 49-80
• Yijie Han: Improved Fast Integer Sorting in Linear Space. 81-94
• Arend Rensink, Roberto Gorrieri: Vertical Implementation. 95-133

Volume 170, Number 2, November 2001

• Susanne Albers, Moses Charikar, Michael Mitzenmacher:
  Delayed Information and Action in On-Line Algorithms. 135-152
  
• François Pottier:
  Simplifying Subtyping Constraints: A Theory. 153-183
  
• Dahlia Malkhi, Michael K. Reiter, Avishai Wool, Rebecca N. Wright:
  Probabilistic Quorum Systems. 184-206
  
• Roberto Bruni, José Meseguer, Ugo Montanari, Vladimiro Sassone:
  Functorial Models for Petri Nets. 207-236