Bulletin of the EATCS, Volume 45

Volume 45, October 1991

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

• Carl A. Gunter: Forms of Semantic Specification. 98-113

• Alan L. Selman: Complexity Classes for Partial Functions. 114-130

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

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