Bulletin of the EATCS, Volume 65

Volume 65, June 1998

The Computational Complexity Column

Paul Beame, Toniann Pitassi: Propositional Proof Complexity: Past, Present and Future. 66-89

Formal Specification Column

Hartmut Ehrig, Fernando Orejas: Integration Paradigm for Data Type and Process Specification Techniques. 90-97

The Logic in Computer Science Column

Loïc Colson: The Logic in Computer Science Column Functions versus Algorithms. 98-117

The Formal Language Theory Column

Technical Contributions

Carsten Damm: A Note on Spectral Lower Bound Arguments for Decision Trees. 136-138
Alfons Geser: On Essential Premises for the Transformation Order. 139-142