Bulletin of the EATCS, Volume 65

Volume 65, June 1998

The Computational Complexity Column Formal Specification Column The Logic in Computer Science Column The Formal Language Theory Column Technical Contributions