Bulletin of the EATCS, Volume 71

Volume 71, June 2000

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

• Lance Fortnow: Diagonalization. 102-113 BibTeX

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

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

• Arto Salomaa: Depth of Functional Compositions. 143-150 BibTeX

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