Journals in DBLP

Bulletin of the EATCS
2000, volume: 70, number:

1. A. Srinivasan
   Low-Discrepancy Sets For High-Dimensional Rectangles: A Survey. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:67-76 [Journal]
   
2. Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann
   On Formal Semantics and Integration of Object-Oriented Modeling Languages. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:77-81 [Journal]
   
3. Andreas Blass, Yuri Gurevich
   The Underlying Logic of Hoare Logic. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:82-111 [Journal]
   
4. Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson
   Security Analysis using Flow Logics. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:112-130 [Journal]
   
5. Harry Buhrman
   Quantum Computing and Communication Complexity. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:131-141 [Journal]
   
6. Juha Honkala
   The D0L Problem Revisited. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:142-155 [Journal]
   
7. Erkki Mäkinen
   A Conjecture on the Error Bound of the Barycenter Heuristic. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:156-158 [Journal]
   
8. Raul Trejo, Vladik Kreinovich, Luc Longpré
   Choosing a Physical Model: Why Symmetries? [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:159-161 [Journal]
   
9. Ming-wei Wang
   On the Irregularity of the Duplication Closure. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:70, n:, pp:162-163 [Journal]