Bulletin of the EATCS, Volume 36

Volume 36, October 1988

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