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
Copyright © Fri Mar 12 17:33:06 2010
by Michael Ley (ley@uni-trier.de)