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
