Volume 68,
June 1999
The Computational Complexity Column
Formal Specification Column
- Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages.
81-89
The Logic in Computer Science Column
- Erich Grädel:
Why are Modal Logics so Robustly Decidable?
90-103
The Concurrency Column
- Paola Quaglia:
The Pi-Calculus: Notes on Labelled Semantic.
104-114
The Natural Computing Column
The Formal Language Theory Column
Technical Contributions
Copyright © Mon Nov 2 21:34:12 2009
by Michael Ley (ley@uni-trier.de)