Bulletin of the EATCS, Volume 71

Volume 71, June 2000

The Formal Specification Column

Hartmut Ehrig: On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. 90-91
Clemens Fischer, Heike Wehrheim: Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. 92-101

The Computational Complexity Column

Lance Fortnow: Diagonalization. 102-113

The Distributed Computing Column

Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas: A Combinatorial Characterization of Properties Preserved by Antitokens. 114-132

The Natural Computing Column

Joost N. Kok, Walter A. Kosters: Natural Data Mining Techniques. 133-142

The Formal Language Theory Column

Arto Salomaa: Depth of Functional Compositions. 143-150

Technical Contributions

Vladik Kreinovich, Luc Longpré: How Important is Theory for Practical Problems? A Partial Explanation of Hartmanis' Observation. 160-164
Uwe Schöning: Mastering the Master Theorem. 165-166
Sándor Vágvölgyi: Intersection of Finitely Generated Congruences over the Term Algebra with Equal Trunks. 167-187

Copyright © Sat Nov 14 05:52:30 2009 by Michael Ley (ley@uni-trier.de)