Bulletin of the EATCS, Volume 75

Volume 75, October 2001

The Algorithmics Column

The Formal Specification Column

Hartmut Ehrig: A Review of Graph Grammars and Preview of ICGT 2002: The First International Conference on Graph Transformation. 97 BibTeX

The Computational Complexity Column

The Logic in Computer Science Column

Nikolay V. Shilov, Kwang Yi: How to Find a Coin: Propositional Program Logics Made Easy. 127-151 BibTeX

The Distributed Computing Column

Dimitris Fotakis, Sotiris E. Nikoletseas, Vicky G. Papadopoulou, Paul G. Spirakis: Hardness Results and Efficient Appromixations for Frequency Assignment Problems and the Radio Coloring Problem. 152-181 BibTeX

The Concurrency Column

Prakash Panangaden: Does Combining Nondeterminism and Probability Make Sense? 182-189 BibTeX

The Natural Computing Column

Tom Head, Susannah Gal: Aqueous Computing: Writing into Fluid Memory. 190-198 BibTeX

The Formal Language Theory Column

Carlos Martín-Vide, Gheorghe Paun: Language Generating by Means of Membrane Systems. 199-208 BibTeX

Technical Contributions

Rudolf Freund: Special Variants of P Systems Inducing an Infinite Hierarchy with Respect to the Number of Membranes. 209-219 BibTeX
Juha Honkala: A Note on Uniform HDT0L Systems. 220 BibTeX