The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1999, volume: 228, number: 1-2

  1. Andrew D. Gordon
    Bisimilarity as a Theory of Functional Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:5-47 [Journal]
  2. Peter J. Freyd, Peter W. O'Hearn, A. John Power, Makoto Takeyama, R. Street, Robert D. Tennent
    Bireflectivity. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:49-76 [Journal]
  3. Philippa Gardner
    Closed Action Calculi. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:77-103 [Journal]
  4. Alan Jeffrey
    A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:105-150 [Journal]
  5. Neil D. Jones
    LOGSPACE and PTIME Characterized by Programming Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:151-174 [Journal]
  6. John Maraist, Martin Odersky, David N. Turner, Philip Wadler
    Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:175-210 [Journal]
  7. Peter W. O'Hearn, John Power, Makoto Takeyama, Robert D. Tennent
    Syntactic Control of Interference Revisited. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:211-252 [Journal]
  8. Peter W. O'Hearn, Uday S. Reddy
    Objects, Interference, and the Yoneda Embedding. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:228, n:1-2, pp:253-282 [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