Bulletin of the EATCS, Volume 60

Volume 60, October 1996

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