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
maintained by Schloss Dagstuhl LZI, founded at University of Trier