Journals in DBLP

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

1. Hartmut Ehrig, Hans-Jörg Kreowski, Fernando Orejas
   Correctness of actualization for parameterized implementation concepts based on constructors and abstractors. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
2. Henning Fernau
   A predicate for separating language classes. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
3. Clive N. Galley
   An Omega(log n) time linear cost lower bound for the single function coarsest partition problem. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
4. Petr Jancar
   All action-based behavioural equivalences are undecidable for labelled Petri nets. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
5. Alexander Meduna
   A trivial method of characterizing the family of recursively enumerable languages by scattered context grammars. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
6. M. Moshkov
   Relationships between depth of deterministic and nondeterministic acyclic programs computing functions of k-valued logic. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
7. Helmut Prodinger
   Digital search trees and basic hypergeometric functions. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]
   
8. Arto Salomaa
   From Parikh vectors to GO territories. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1995, v:56, n:, pp:- [Journal]