Information and Computation
, Volume 159
Volume 159, Numbers 1-2, May/June 2000
Tobias Nipkow
: Preface. 1
BibTeX
Johannes Waldmann
: The Combinator S. 2-21
BibTeX
Martin Müller
,
Joachim Niehren
: Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. 22-58
BibTeX
Inge Bethke
,
Jan Willem Klop
,
Roel C. de Vrijer
: Descendants and Origins in Term Rewriting. 59-124
BibTeX
Jordi Levy
,
Margus Veanes
: On the Undecidability of Second-Order Unification. 125-150
BibTeX
Hubert Comon
,
Robert Nieuwenhuis
: Induction=I-Axiomatization+First-Order Consistency. 151-186
BibTeX
Copyright ©
Sun May 17 00:00:00 2009 by
Michael Ley
(
ley@uni-trier.de
)