Journals in DBLP

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

1. Hartmut Ehrig
   FLEX: A Flexible Extension and Integration Concept for Software Development in SORSo and COMPASS. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:188-202 [Journal]
   
2. Thierry Coquand, Bengt Nordström, Jan M. Smith, Björn von Sydow
   Type Theorie Programming. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:203-228 [Journal]
   
3. Lance Fortnow
   The Role of Relativization in Complexity Theory. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:229-243 [Journal]
   
4. Javier Esparza, Mogens Nielsen
   Decidability Issues for Petri Nets - a survey. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:244-262 [Journal]
   
5. Gheorghe Paun
   Marcus Contextual Grammars. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:263-273 [Journal]
   
6. Bernhard Gramlich
   A Note on a Parameterized Version of the Well-Founded Induction Pricible. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:274-277 [Journal]
   
7. Ian M. Hodkinson
   Addendum to: Finite Variable Logics. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:278- [Journal]
   
8. Anthony Karel Seda
   Some Applications of General Topology To The Semantics of Logic Programms. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:279-291 [Journal]
   
9. Ron Seljée
   Intergrity Constraint Checking for Updates in Deductive Databases, a different approach. [Citation Graph (0, 0)][DBLP]
   Bulletin of the EATCS, 1994, v:52, n:, pp:292-314 [Journal]