Bulletin of the EATCS, Volume 48

Volume 48, October 1992

The Algebraic Specification Column The Logic in Computer Science Column The Structural Complexity Column Technical Contributions
maintained by Schloss Dagstuhl LZI, founded at University of Trier