Journals in DBLP

Bulletin of the EATCS
1995, volume: 55, number:

1. F. Buffoli, G. Degli Antoni, A. Marchese
   OR-Parallellism in Theorem Proving: Speedups versus Timeout. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
   
2. Martin Große-Rhode
   Transition Specifications for Dynamic Abstract Data Type. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
   
3. Yuri Gurevich
   The Value, if any, of Decidability. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
   
4. Juris Hartmanis
   On the Weight of Computations. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
   
5. Juha Lehikoinen, Erkki Mäkinen
   A New Distance-based Coding Method For Binary Trees. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
   
6. Joachim Parrow
   Concurrency without Homotopy. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]
   
7. Arto Salomaa
   Return to Patterns. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:55, n:, pp:- [Journal]