Bulletin of the EATCS, Volume 52

Volume 52, February 1994

The Algebraic Specification Column The Logic and Computer Science Column The Structural Complexity Column The Concurrency Column The Formal Language Theory Column Technical Contributions
maintained by Schloss Dagstuhl LZI at University of Trier