dblp.uni-trier.de www.uni-trier.de

Bulletin of the EATCS, Volume 43

Volume 43, February 1991

The Algebraic Specification Column The Logic in Computer Science Column The Formal Language Theory Column Technical Contributions

Copyright © Mon Nov 2 21:34:11 2009 by Michael Ley (ley@uni-trier.de)