The SCEAS System
Navigation Menu

Journals in DBLP

Bulletin of the EATCS
1991, volume: 45, number:

  1. Francesco Parisi-Presicce, Alfonso Pierantonio
    Towards the Algebraic Specification of Classes in Object Oriented Programming. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:85-97 [Journal]
  2. Carl A. Gunter
    Forms of Semantic Specification. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:98-113 [Journal]
  3. Alan L. Selman
    Complexity Classes for Partial Functions. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:114-130 [Journal]
  4. Jürgen Dassow, Jozef Kelemen
    Cooperating/Distributed Grammar Systems: a Link between Formal Languages and Artificial Intelligence. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:131-145 [Journal]
  5. Varol Akman
    Undaunted Sets. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:146-147 [Journal]
  6. Christian Choffrut
    Conjugacies. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:148-157 [Journal]
  7. Paola Inverardi, Corrado Priami
    Evaluation of Tools for the Analysis of Communicating Systems. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:158-185 [Journal]
  8. Zoltán Fülöp, Sándor Vágvölgyi
    Ground Term Rewriting Rules for the Word Problem of Ground Term Equations. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:186-201 [Journal]
  9. John H. Leuchner, Les Miller, Giora Slutzki
    Agreement Graph Dependencies. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:202-217 [Journal]
  10. Gheorghe Paun
    A Characterization of Recursively Enumerable Languages. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:218-222 [Journal]
  11. Paavo Turakainen
    A Unified Approach to Characterizations of Recursively Enumerable Languages. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:223-228 [Journal]
  12. David Turner
    Duality and De Morgan Laws for the Algebra of Lists. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1991, v:45, n:, pp:229-238 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002