The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1995, volume: 151, number: 1

  1. Simon Ambler, Marta Z. Kwiatkowska, Nicholas Measor
    Duality and the Completeness of the Modal mu-Calculus. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:3-27 [Journal]
  2. André Arnold
    A Topological Property of Rational omega-Languages. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:29-36 [Journal]
  3. Frank S. de Boer, Alessandra Di Pierro, Catuscia Palamidessi
    Nondeterminism and Infinite Computations in Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:37-78 [Journal]
  4. Marcello M. Bonsangue, Bart Jacobs, Joost N. Kok
    Duality Beyond Sober Spaces: Topological Spaces and Observation Frames. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:79-124 [Journal]
  5. Bruno Courcelle
    The Monadic Second-Order Logic of Graphs IX: Machines and their Behaviours. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:125-162 [Journal]
  6. Abbas Edalat
    Domain Theory and Integration. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:163-193 [Journal]
  7. S. G. Matthews
    An Extensional Treatment of Lazy Data Flow Deadlock. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:195-205 [Journal]
  8. Michael W. Mislove, Frank J. Oles
    Full Abstraction and Recursion. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:207-256 [Journal]
  9. Michael B. Smyth
    Semi-Metrics, Closure Spaces and Digital Topology. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:257-276 [Journal]
  10. Philipp Sünderhauf
    A Faithful Computational Model of the Real Numbers. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1995, v:151, n:1, pp:277-294 [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