Information and Computation
, Volume 157
Volume 157, Numbers 1-2, February/March 2000
Kousha Etessami
,
Neil Immerman
: Tree Canonization and Transitive Closure. 2-24
BibTeX
Hubert Comon
: Sequentiality, Monadic Second-Order Logic and Tree Automata. 25-51
BibTeX
Daniel J. Dougherty
,
Ramesh Subrahmanyam
: Equality between Functionals in the Presence of Coproducts. 52-83
BibTeX
Frank Pfenning
: Structural Cut Elimination: I. Intuitionistic and Classical Logic. 84-141
BibTeX
Igor Walukiewicz
: Completeness of Kozen's Axiomatisation of the Propositional µ-Calculus. 142-182
BibTeX
Gilles Dowek
,
Thérèse Hardin
,
Claude Kirchner
: Higher Order Unification via Explicit Substitutions. 183-235
BibTeX
Copyright ©
Sun May 17 00:00:00 2009 by
Michael Ley
(
ley@uni-trier.de
)