Bulletin of the EATCS, Volume 70

Volume 70, February 2000

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