Bulletin of the EATCS, Volume 62

Volume 62, June 1997

The Computational Complexity Column Formal Specification Column The Logic in Computer Science Column The Concurrency Column The Formal Language Theory Column Technical Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics