Bulletin of the EATCS, Volume 70

Volume 70, February 2000

• A. Srinivasan: Low-Discrepancy Sets For High-Dimensional Rectangles: A Survey. 67-76 BibTeX

• Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann: On Formal Semantics and Integration of Object-Oriented Modeling Languages. 77-81 BibTeX

• Andreas Blass, Yuri Gurevich: The Underlying Logic of Hoare Logic. 82-111 BibTeX

• Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson: Security Analysis using Flow Logics. 112-130 BibTeX

• Harry Buhrman: Quantum Computing and Communication Complexity. 131-141 BibTeX

• Juha Honkala: The D0L Problem Revisited. 142-155 BibTeX

• Erkki Mäkinen: A Conjecture on the Error Bound of the Barycenter Heuristic. 156-158 BibTeX
• Raul Trejo, Vladik Kreinovich, Luc Longpré: Choosing a Physical Model: Why Symmetries? 159-161 BibTeX
• Ming-wei Wang: On the Irregularity of the Duplication Closure. 162-163 BibTeX