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]