Bulletin of the EATCS, Volume 70

Volume 70, February 2000

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

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

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

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

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

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

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