The SCEAS System
Navigation Menu

Journals in DBLP

J. Comput. Syst. Sci.
1983, volume: 27, number: 2

  1. Stephen L. Bloom, James W. Thatcher, Eric G. Wagner, Jesse B. Wright
    Recursion and Iteration in Continuous Theories: The "M-Construction". [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:148-164 [Journal]
  2. Hartmut Schmeck
    Algebraic Characterization of Reducible Flowcharts. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:165-199 [Journal]
  3. Francesco Parisi-Presicce
    Extensions of Iterative Congruences on Free Iterative Algebras. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:200-220 [Journal]
  4. Douglas R. Troeger
    An Axiomatization of D-scheme Strong Equivalence. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:221-224 [Journal]
  5. Stephen L. Bloom
    All Solutions of a System of Recursion Equations in Infinite Trees and Other Contraction Theories. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:225-255 [Journal]
  6. Michael O. Rabin
    Transaction Protection by Beacons. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:256-267 [Journal]
  7. Joseph A. Goguen, José Meseguer
    Correctness of Recursive Parallel Nondeterministic Flow Programs. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:268-290 [Journal]
  8. Zoltán Ésik
    Algebras of Iteration Theories. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:291-303 [Journal]
  9. Edward K. Blum, Francesco Parisi-Presicce
    Implementation of Data Types by Algebraic Methods. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1983, v:27, n:2, pp:304-330 [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