Bulletin of the EATCS, Volume 53

Volume 53, June 1994

The Algebraic Specification Column The Structural Complexity Column The Concurrency Column The Formal Language Theory Column Technical Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics