Journals in DBLP

Theor. Comput. Sci.
1991, volume: 79, number: 2

1. Frits W. Vaandrager
   Determinism - (Event Structure Isomorphism = Step Sequence Equivalence). [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:275-294 [Journal]
   
2. Marit Holden
   Weak Logic Theory. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:295-321 [Journal]
   
3. Ali Jaoua, Ali Mili, Noureddine Boudriga, J. L. Durieux
   Regularity of Relations: A Measure of Uniformity. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:323-339 [Journal]
   
4. Andrzej Szalas
   On Strictly Arithmetical Completeness in Logics of Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:341-355 [Journal]
   
5. Allen Stoughton
   Interdefinability of Parallel Operations in PCF. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:357-358 [Journal]
   
6. Achim Jung
   The Dependent Product Construction in Various Categories of Domains. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:359-363 [Journal]
   
7. George Koletsos
   Polymorphic Lambda Calculus: The Church-Rosser Property. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1991, v:79, n:2, pp:365-371 [Journal]