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

Last update Wed May 22 18:52:54 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page