Journals in DBLP

Bulletin of the EATCS
1996, volume: 60, number:

1. Hartmut Ehrig, Uwe Wolter
   The Impact and Future Role of Algebraic Specification. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:74-77 [Journal]
   
2. Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov
   Herbrand's Theorem and Equational Reasoning: Problems and Solutions. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:78-96 [Journal]
   
3. Rance Cleaveland, Scott A. Smolka
   Strategic Directions in Computing Research-Concurrency Working Group Report. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:97-122 [Journal]
   
4. Marjo Lipponen, Arto Salomaa
   Simple Words in Equality Sets. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:123-143 [Journal]
   
5. Joost Engelfriet
   Reverse Twin Shuffles. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:144- [Journal]
   
6. Gheorghe Paun
   Computing by Splicing: How Simple Rules? [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:145-150 [Journal]
   
7. D. Schirmer, Vladik Kreinovich
   Towards a More Realistic Definition of Feasibility. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:151-153 [Journal]
   
8. Anthony Karel Seda
   Quasi-Metrics and Fixed Points in Computing. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1996, v:60, n:, pp:154-163 [Journal]