Bulletin of the EATCS, Volume 39

Volume 39, October 1989

The Algebraic Specification Column Logic in Computer Science Column The Structural Complexity Column Technical Contributions
a service of Schloss Dagstuhl - Leibniz Center for Informatics