Journals in DBLP

Theor. Comput. Sci.
1987, volume: 50, number:

1. Jean-Yves Girard
   Linear Logic. [Citation Graph (1, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:1-102 [Journal]
   
2. John W. Gray
   Categorical Aspects of Data Type Constructors. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:103-135 [Journal]
   
3. Jan A. Bergstra, J. V. Tucker
   Algebraic Specifications of Computable and Semicomputable Data Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:137-181 [Journal]
   
4. Jacques Mazoyer
   A Six-State Minimal Time Solution to the Firing Squad Synchronization Problem. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:183-238 [Journal]
   
5. Iain Phillips
   Refusal Testing. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:241-284 [Journal]
   
6. Ildikó Sain
   Total Correctness in Nonstandard Logics of Programs. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:285-321 [Journal]
   
7. Eric G. Wagner, Hartmut Ehrig
   Canonical Constraints for Parameterized Data Types. [Citation Graph (0, 0)][DBLP]
   Theor. Comput. Sci., 1987, v:50, n:, pp:323-349 [Journal]