Journals in DBLP

Theor. Comput. Sci.
1993, volume: 111, number: 1&2

1. Samson Abramsky
   Computational Interpretations of Linear Logic. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:3-57 [Journal]
   
2. Reinhold Heckmann
   Power Domains and Second-Order Predicates. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:59-88 [Journal]
   
3. Manfred Droste
   On Stable Domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:89-101 [Journal]
   
4. François Lamarche
   Stable Domains are Generalized Topological Spaces. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:103-123 [Journal]
   
5. Michael G. Main
   Complete Proof Rules for Strong Fairness and Strong Extreme Fairness. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:125-143 [Journal]
   
6. Hans Dybkjær, Austin Melton
   Comparing Hagino's Categorical Programming Language and Typed lambda-Calculi. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:145-189 [Journal]
   
7. Lawrence S. Moss, Satish R. Thatte
   Modal Logic and Algebraic Specifications. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:191-210 [Journal]
   
8. Paul C. Gilmore, George K. Tsiknis
   A Logic for Category Theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:211-252 [Journal]
   
9. Paul C. Gilmore, George K. Tsiknis
   Logical Foundations for Programming Semantics. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1993, v:111, n:1&2, pp:253-290 [Journal]