Journals in DBLP

Bulletin of the EATCS
1994, volume: 53, number:

1. Hartmut Ehrig, Fernando Orejas
   Dynamic Abstract Data Types: An informal Proposal. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:162-169 [Journal]
   
2. Juris Hartmanis
   About the Nature of the Computer Science. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:170-190 [Journal]
   
3. Rob J. van Glabbeek
   What is Branching time semantics and why to use it? [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:191-198 [Journal]
   
4. Erzsébet Csuhaj-Varjú, Alexander Meduna
   Grammars without context conditions. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:199-212 [Journal]
   
5. Peter R. J. Asveld
   An Alternative Formulation of Cocke-Younger-Kasami's Algorithm. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:213-216 [Journal]
   
6. Marjo Lipponen
   Primitive Words and Languages Associated to PCP. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:217-225 [Journal]
   
7. Cyrus F. Nourani
   Types, Induction, and Incompleteness. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:226-248 [Journal]
   
8. Helmut Prodinger
   Some Polynomials Related to the Fibonacci Polynomials. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:248-250 [Journal]
   
9. Grigore Rosu
   The Institution of Order-Sorted Equational Logic. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:53, n:, pp:250-255 [Journal]
   
10. Anthony Karel Seda
    A Topological View of the Kowalski - Van Emden Theorem. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:53, n:, pp:256-263 [Journal]
    
11. Joachim Steinbach
    A Formalism for Representing Orderings. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1994, v:53, n:, pp:264-267 [Journal]