Bulletin of the EATCS, Volume 73

Volume 73, February 2001

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