Bulletin of the EATCS, Volume 45

Volume 45, October 1991

The Algebraic Specification Column

Francesco Parisi-Presicce, Alfonso Pierantonio: Towards the Algebraic Specification of Classes in Object Oriented Programming. 85-97 BibTeX

The Logic in Computer Science Column

The Structural Complexity Column

The Formal Language Theory Column

Jürgen Dassow, Jozef Kelemen: Cooperating/Distributed Grammar Systems: a Link between Formal Languages and Artificial Intelligence. 131-145 BibTeX

Technical Contributions

Varol Akman: Undaunted Sets. 146-147 BibTeX
Christian Choffrut: Conjugacies. 148-157 BibTeX
Paola Inverardi, Corrado Priami: Evaluation of Tools for the Analysis of Communicating Systems. 158-185 BibTeX
Zoltán Fülöp, Sándor Vágvölgyi: Ground Term Rewriting Rules for the Word Problem of Ground Term Equations. 186-201 BibTeX
John H. Leuchner, Les Miller, Giora Slutzki: Agreement Graph Dependencies. 202-217 BibTeX
Gheorghe Paun: A Characterization of Recursively Enumerable Languages. 218-222 BibTeX
Paavo Turakainen: A Unified Approach to Characterizations of Recursively Enumerable Languages. 223-228 BibTeX
David Turner: Duality and De Morgan Laws for the Algebra of Lists. 229-238 BibTeX