Information and Computation, Volume 157

Volume 157, Numbers 1-2, February/March 2000

• Kousha Etessami, Neil Immerman:
  Tree Canonization and Transitive Closure. 2-24
  
• Hubert Comon:
  Sequentiality, Monadic Second-Order Logic and Tree Automata. 25-51
  
• Daniel J. Dougherty, Ramesh Subrahmanyam:
  Equality between Functionals in the Presence of Coproducts. 52-83
  
• Frank Pfenning:
  Structural Cut Elimination: I. Intuitionistic and Classical Logic. 84-141
  
• Igor Walukiewicz:
  Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus. 142-182
  
• Gilles Dowek, Thérèse Hardin, Claude Kirchner:
  Higher Order Unification via Explicit Substitutions. 183-235
  

Last update Fri May 24 20:21:57 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page