Theoretical Computer Science, Volume 236

Volume 236, Numbers 1-2, 6 April 2000

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