Bulletin of the EATCS, Volume 57

Volume 57, October 1995

The Algebraic Specification Column

Hartmut Ehrig, Bernd Mahr: Theory and Practice of Software Development: A Review of Driving Forces and Expectations.

The Logic in Computer Science Column

Yuri Gurevich: Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand.

The Structural Complexity Column

The Formal Language Theory Column

Technical Contributions

Michael Bertol, Klaus Reinhardt: The Tautologies over a Finite Set are Context-Free.
Gregory J. Chaitin, Asat Arslanov, Cristian Calude: Program-size Complexity Computes the Halting Problem.
G. Degli Antoni, D. Cabianca, M. Vaccari, M. Benini, F. Casablanca: Linearity of Client/Server Systems.
Cyrus F. Nourani: Artificial Algebras.
Danny Raz: Context-free Languages are Not Closed under Interior and Frontier.
Vincent Vajnovszki: Constant Time Generation of Binary Unordered Trees.

Surveys and Tutorial