Journals in DBLP

Theor. Comput. Sci.
1996, volume: 155, number: 1

1. Stephen L. Bloom, Zoltán Ésik
   Fixed-Point Operations on ccc's. Part I. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:1-38 [Journal]
   
2. Davide Sangiorgi
   Locality and Interleaving Semantics in Calculi for Mobile Processes. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:39-83 [Journal]
   
3. Fairouz Kamareddine, Rob Nederpelt
   A Useful lambda-Notation. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:85-109 [Journal]
   
4. Neil Immerman, Sushant Patnaik, David W. Stemple
   The Expressiveness of a Family of Finite Set Languages. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:111-140 [Journal]
   
5. Jean-Michel Fourneau, Erol Gelenbe, Rina Suros
   G-Networks with Multiple Classes of Negative and Positive Customers. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:141-156 [Journal]
   
6. Vadam Kagan, Anil Nerode, V. S. Subrahmanian
   Computing Minimal Models by Partial Instantiation. [Citation Graph (2, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:157-177 [Journal]
   
7. Flemming Nielson, Hanne Riis Nielson
   From CML to its Process Algebra. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:179-219 [Journal]
   
8. Guo-Qiang Zhang
   Quasi-Prime Algebraic Domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:221-264 [Journal]
   
9. Martin W. Bunder, J. Roger Hindley
   Two beta-Equal lambda-I-Terms with no Types in Common. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1996, v:155, n:1, pp:265-266 [Journal]
   
10. Thomas Drakengren
    Uniqueness of Scott's Reflexive Domain in P-omega. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:1, pp:267-276 [Journal]
    
11. Wenhui Zhang
    Number of Models and Satisfiability of Sets of Clauses. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1996, v:155, n:1, pp:277-288 [Journal]