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