Bulletin of the EATCS, Volume 64

Volume 64, February 1998

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