Volume 42, 1986
- Bruno Courcelle:
Equivalences and Transformations of Regular Systems-Applications to Recursive Program Schemes and Grammars.
1-122

- Martin Wirsing:
Structured Algebraic Specifications: A Kernel Language.
123-249

- Joost Engelfriet, Heiko Vogler:
Pushdown Machines for the Macro Tree Transducer.
251-368

Last update Thu May 23 19:35:20 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page