Bulletin of the EATCS, Volume 58

Volume 58, February 1996

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