The SCEAS System
Navigation Menu

Journals in DBLP

Bulletin of the EATCS
1990, volume: 41, number:

  1. Donald Sannella, Andrzej Tarlecki
    Algebraic specification and formal methods for program development: what are the real problems? [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:134-138 [Journal]
  2. Hartmut Ehrig
    ESF-concepts linked with algebraic module specifications. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:138-144 [Journal]
  3. Hartmut Ehrig, Ingo Claßen
    Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3). [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:145-153 [Journal]
  4. Andre Scedrov
    A brief guide to linear logic. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:154-165 [Journal]
  5. Juris Hartmanis, Richard Chang, Desh Ranjan, Pankaj Rohatgi
    On Unique Staisfiability and Randomized Reductions. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:166-174 [Journal]
  6. Arto Salomaa
    Decidability in finite automata. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:175-183 [Journal]
  7. Marc Roland Assous, Christine Charretton
    Noce labelling of event structures. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:184-190 [Journal]
  8. Guiliana Beltrame, Maria Staniszkis
    The generalized prefix property. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:191-195 [Journal]
  9. Paddy Byers, David H. Pitt
    Conservative extensions: a cautionary note. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:196-201 [Journal]
  10. Giorgio Gambosi, Alberto Postiglione, Maurizio Talamo
    On the average performanve of some algorithms for one-line-packing. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:202-209 [Journal]
  11. Goos Kant, Jan van Leeuwen
    On special multiples of integers. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:210-211 [Journal]
  12. Jyrki Katajainen, Erkki Mäkinen
    A note on the complexity of trie compaction. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:212-216 [Journal]
  13. Emmanuel Kounalis, Michaël Rusinowitch
    Mechanizing inductive reasoning. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:216-226 [Journal]
  14. Robin Milner, Faron Moller
    Unique decomposition of processes. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:226-233 [Journal]
  15. Nalinakshi Nirmal, Raghavan Rama
    A Note on (EOL-EOL) array systems. [Citation Graph (0, 0)][DBLP]
    Bulletin of the EATCS, 1990, v:41, n:, pp:233-239 [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