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

Bulletin of the EATCS, Volume 57

Volume 57, October 1995

The Algebraic Specification Column The Logic in Computer Science Column The Structural Complexity Column The Formal Language Theory Column Technical Contributions Surveys and Tutorial

Copyright © Sat May 16 23:57:44 2009 by Michael Ley (ley@uni-trier.de)