Information and Computation, Volume 159

Volume 159, Numbers 1-2, May/June 2000

• Tobias Nipkow:
  Preface. 1
  
• Johannes Waldmann:
  The Combinator S. 2-21
  
• Martin Müller, Joachim Niehren:
  Ordering Constraints over Feature Trees Expressed in Second-Order Monadic Logic. 22-58
  
• Inge Bethke, Jan Willem Klop, Roel C. de Vrijer:
  Descendants and Origins in Term Rewriting. 59-124
  
• Jordi Levy, Margus Veanes:
  On the Undecidability of Second-Order Unification. 125-150
  
• Hubert Comon, Robert Nieuwenhuis:
  Induction=I-Axiomatization+First-Order Consistency. 151-186
  

Last update Sat May 26 06:22:02 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page