Bulletin of the EATCS, Volume 47

Volume 47, June 1992

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