Bulletin of the EATCS, Volume 43

Volume 43, February 1991

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