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
a service of Schloss Dagstuhl - Leibniz Center for Informatics