Journals in DBLP

Theor. Comput. Sci.
2004, volume: 315, number: 1

1. Michael W. Mislove
   Mathematical Foundations of Programming Semantics: Papers from MFPS 14 and MFPS 16. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:1-2 [Journal]
   
2. Stefano Berardi, Chantal Berline
   Building continuous webbed models for system F. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:3-34 [Journal]
   
3. Andrej Bauer, Lars Birkedal, Dana S. Scott
   Equilogical spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:35-59 [Journal]
   
4. Cristiano Calcagno
   Two-level languages for program optimization. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:61-81 [Journal]
   
5. Andrea Schalk, Valeria de Paiva
   Poset-valued sets or how to build models for linear logics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:83-107 [Journal]
   
6. Michal Konecný
   Real functions incrementally computable by finite automata. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:109-133 [Journal]
   
7. Michel P. Schellekens
   The correspondence between partial metrics and semivaluations. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:135-149 [Journal]
   
8. Zhe Yang
   Encoding types in ML-like languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:151-190 [Journal]
   
9. Zoltán Füredi, Robert P. Kurshan
   Minimal length test vectors for multiple-fault detection. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 2004, v:315, n:1, pp:191-208 [Journal]
   
10. Gavin Lowe
    Semantic models for information flow. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:209-256 [Journal]
    
11. David J. Pym, Peter W. O'Hearn, Hongseok Yang
    Possible worlds and resources: the semantics of BI. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2004, v:315, n:1, pp:257-305 [Journal]