The SCEAS System
Navigation Menu

Journals in DBLP

J. Comput. Syst. Sci.
1990, volume: 40, number: 2

  1. Kevin E. Flannery, Johannes J. Martin
    The Hoare and Smith Power Domain Constructors Commute under Composition. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:125-135 [Journal]
  2. Etienne Grandjean
    First-Order Spectra with One Variable. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:136-153 [Journal]
  3. Jürgen Dassow, Helmut Jürgensen
    Soliton Automata. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:154-181 [Journal]
  4. Damas P. Gruska
    Genomorphisms of Semi-Modular Lattices. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:182-187 [Journal]
  5. Michael G. Main, Grzegorz Rozenberg
    Edge-Label Controlled Graph Grammars. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:188-228 [Journal]
  6. Axel Poigné
    Parametrization for Order-Sorted Algebraic Specification. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:229-268 [Journal]
  7. Georg Lausen, Eljas Soisalon-Soininen, Peter Widmayer
    On the Power of Safe Locking. [Citation Graph (2, 0)][DBLP]
    J. Comput. Syst. Sci., 1990, v:40, n:2, pp:269-288 [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