Bulletin of the EATCS, Volume 63

Volume 63, October 1997

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