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 © Sat May 16 23:57:43 2009 by Michael Ley (ley@uni-trier.de)