Journals in DBLP

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

1. Hartmut Ehrig
   On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:90-91 [Journal]
   
2. Clemens Fischer, Heike Wehrheim
   Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:92-101 [Journal]
   
3. Lance Fortnow
   Diagonalization. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:102-113 [Journal]
   
4. Costas Busch, Neophytos Demetriou, Maurice Herlihy, Marios Mavronicolas
   A Combinatorial Characterization of Properties Preserved by Antitokens. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:114-132 [Journal]
   
5. Joost N. Kok, Walter A. Kosters
   Natural Data Mining Techniques. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:133-142 [Journal]
   
6. Arto Salomaa
   Depth of Functional Compositions. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:143-150 [Journal]
   
7. Vladik Kreinovich, Luc Longpré
   How Important is Theory for Practical Problems? A Partial Explanation of Hartmanis' Observation. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:160-164 [Journal]
   
8. Uwe Schöning
   Mastering the Master Theorem. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:165-166 [Journal]
   
9. Sándor Vágvölgyi
   Intersection of Finitely Generated Congruences over the Term Algebra with Equal Trunks. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 2000, v:71, n:, pp:167-187 [Journal]