Bulletin of the EATCS, Volume 72

Volume 72, October 2000

The Formal Specification Column

Andrea Corradini, Reiko Heckel: Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo. 69-76 BibTeX
Hartmut Ehrig, Gunnar Schröter: The Role of Mathematics and Formal Specification Techniques in Software System Development. 77-83 BibTeX

The Computational Complexity Column

William I. Gasarch, Evan Golub, Clyde P. Kruskal: A Survey of Constant Time Parallel Sorting. 84-102 BibTeX

The Logic in Computer Science Column

Andreas Blass, Yuri Gurevich: A New Zero-One Law and Strong Extension Axioms. 103-122 BibTeX

The Distributed Computing Column

Marios Mavronicolas: Annotated Bibliography on Counting Networks. 123-132 BibTeX

The Concurrency Column

Vladimiro Sassone: On the Algebraic Structure of Petri Nets. 133-148 BibTeX

The Natural Computing Column

Wolfgang Maass: Neural Computation: A Research Topic for Theoretical Computer Science? Some Thoughts and Pointers. 149-158 BibTeX

The Formal Language Theory Column

Carlos Martín-Vide, Alexandru Mateescu: Contextual Generalized Sequential Machines. 159-168 BibTeX

Technical Contributions

Javier Esparza, Peter Rossmanith, Stefan Schwoon: A Uniform Framework for Problems on Context-Free Grammars. 169-177 BibTeX
Juha Honkala: Zeros of Z-rational Sequences and Thin 0L Languages. 178-182 BibTeX
Carlos Martín-Vide, Gheorghe Paun: Computing with Membranes: One More Collapsing Hierarchy. 183-188 BibTeX

Copyright © Sat May 16 23:57:45 2009 by Michael Ley (ley@uni-trier.de)