The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1991, volume: 87, number: 1

  1. Viggo Stoltenberg-Hansen, J. V. Tucker
    Algebraic and Fixed Point Equations over Inverse Limits of Algebras. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:1-24 [Journal]
  2. William M. Farmer
    Simple Second-order Languages for which Unification is Undecidable. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:25-41 [Journal]
  3. A. G. Heibig
    Control Machines: A New Model of Parallelism for Compositional Specifications and Their Effective Compilation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:43-80 [Journal]
  4. Herman Balsters, Maarten M. Fokkinga
    Subtyping Can Have a Simple Semantics. [Citation Graph (4, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:81-96 [Journal]
  5. Reine Fournier, Gregor von Bochmann
    The Equivalence in the DCP Model. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:97-114 [Journal]
  6. Lars Hallnäs
    Partial Inductive Definitions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:115-142 [Journal]
  7. Paul H. B. Gardiner, Carroll Morgan
    Data Refinement of Predicate Transformers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:143-162 [Journal]
  8. Hans Zierer
    Relation Algebraic Domain Constructions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:163-188 [Journal]
  9. A. Wilm
    Determinism and Non-determinism in PDL. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:189-202 [Journal]
  10. Mohamed Mezghiche
    Weak Completeness of Type Assignment in lambda-Calculus Models: A Generalization of Hindley's Result. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:203-208 [Journal]
  11. Robin Milner, Mads Tofte
    Co-Induction in Relational Semantics. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:209-220 [Journal]
  12. William McCune, Larry Wos
    The Absence and the Presence of Fixed Point Combinators. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1991, v:87, n:1, pp:221-228 [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