Bulletin of the EATCS, Volume 73

Volume 73, February 2001

• Martin Große-Rhode: The DFG Priority Programme "Integration of Software Specification Techniques for Applications in Engineering". 52-56 BibTeX

• Dieter van Melkebeek: The Computational Complexity Column Time-Space Lower Bounds for Satisfiability. 57-77 BibTeX

• Jörg Flum: Tree-Decompositions and the Model-Checking Problem. 78-98 BibTeX

• Marios Mavronicolas: The Distributed Computing Column Distributed Computing Theory to Date (Part I: Models and an Example). 99-106 BibTeX

• Hava T. Siegelmann: Neural Computing. 107-130 BibTeX

• Vesa Halava, Tero Harju: Some New Results on Post Correspondence Problem and Its Modifications. 131-141 BibTeX

• Ann Q. Gates, Vladik Kreinovich: Strassen's Algorithm Made (Somewhat) More Natural: A Pedagogical Remark. 142-145 BibTeX
• Jarkko Kari: A Counter Example to a Conjecture Concerning Synchronizing Words in Finite Automata. 146 BibTeX
• Shankara Narayanan Krishna, Raghavan Rama: A Note on Parallel Rewriting in P Systems. 147-151 BibTeX