Bulletin of the EATCS, Volume 74

Volume 74, June 2001

The Formal Specification Column

Hartmut Ehrig: On the Roots, Birth and Childhood of ETAPS. 58-60 BibTeX

The Computational Complexity Column

Eric Allender: The Division Breakthroughs. 61-77 BibTeX

The Logic in Computer Science Column

Marie Ferbus-Zanda, Serge Grigorieff: Is Randomness "Native" to Computer Science? 78-118 BibTeX

The Distributed Computing Column

Marios Mavronicolas: Stability in Routing: Networks and Protocols. 119-134 BibTeX

The Concurrency Column

Holger Hermanns: Construction and Verification of Performance and Reliability Models. 135-153 BibTeX

The Natural Computing Column

Mika Hirvensalo: Some Open Problems Related to Quantum Computing. 154-170 BibTeX

The Formal Language Theory Column

Juhani Karhumäki, Ion Petre: Conway's Problem and the Communication of Languages. 171-189 BibTeX

Technical Contributions

S. Baumer, Juan Luis Esteban, Jacobo Torán: Minimally Unsatisfiable CNF Formulas. 190-192 BibTeX
U. Brandt, Hermann K.-G. Walter: The Cocke-Younger-Kasami Algorithm (Revised). 193-228 BibTeX
G. Dányi: A component Hierarchy of lambda-, and Chain-free Cooperating Distributed Context Free Grammars. 229-233 BibTeX
Alfonso Rodríguez-Patón: On the Universality of P Systems with Membrane Creation. 234 BibTeX

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