The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1997, volume: 177, number: 1

  1. S. O. Anderson, John Power
    A Representable Approach to Finite Nondeterminism. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:3-25 [Journal]
  2. Torben Braüner
    A General Adequacy Result for a Linear Functional Language. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:27-58 [Journal]
  3. Antonio Bucciarelli
    Degrees of Parallelism in the Continuous Type Hierarchy. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:59-71 [Journal]
  4. J. Robin B. Cockett, David A. Spooner
    Constructing Process Categories. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:73-109 [Journal]
  5. Bob Flagg, Ralph Kopperman
    Continuity Spaces: Reconciling Domains and Metric Spaces. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:111-138 [Journal]
  6. Doris Nolte, Lutz Priese
    Abstract Fairness and Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:139-153 [Journal]
  7. Guo-Qiang Zhang, William C. Rounds
    Defaults in Domain Theory. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:155-182 [Journal]
  8. Gary T. Leavens, Don Pigozzi
    The Behavior-Realization Adjunction and Generalized Homomorphic Relations. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:183-216 [Journal]
  9. Zoltán Ésik
    Completeness of Park Induction. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1997, v:177, n:1, pp:217-283 [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