Theoretical Computer Science, Volume 236

Volume 236, Numbers 1-2, 6 April 2000

• Max Dauchet:
  Trees in Algebra and Programming (Editorial). 1
  
• Egidio Astesiano, Gianna Reggio:
  Formalism and method. 3-34
  
• Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer:
  Specification and proof in membership equational logic. 35-132
  
• Thomas Arts, Jürgen Giesl:
  Termination of term rewriting using dependency pairs. 133-178
  
• Anders Dessmark, Andrzej Lingas, Andrzej Proskurowski:
  Maximum packing for k-connected partial k-trees in polynomial time. 179-191
  
• Daniel Leivant, Jean-Yves Marion:
  A characterization of alternating log time by ramified recurrence. 193-208
  
• Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp:
  Logicality of conditional rewrite systems. 209-232