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