Bulletin of the EATCS, Volume 60

Volume 60, October 1996

• Hartmut Ehrig, Uwe Wolter: The Impact and Future Role of Algebraic Specification. 74-77 BibTeX

• Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov: Herbrand's Theorem and Equational Reasoning: Problems and Solutions. 78-96 BibTeX

• Rance Cleaveland, Scott A. Smolka: Strategic Directions in Computing Research-Concurrency Working Group Report. 97-122 BibTeX

• Marjo Lipponen, Arto Salomaa: Simple Words in Equality Sets. 123-143 BibTeX

• Joost Engelfriet: Reverse Twin Shuffles. 144 BibTeX
• Gheorghe Paun: Computing by Splicing: How Simple Rules? 145-150 BibTeX
• D. Schirmer, Vladik Kreinovich: Towards a More Realistic Definition of Feasibility. 151-153 BibTeX
• Anthony Karel Seda: Quasi-Metrics and Fixed Points in Computing. 154-163 BibTeX