Theoretical Computer Science, Volume 50

Volume 50, 1987

• Jean-Yves Girard:
  Linear Logic. 1-102
  
• John W. Gray:
  Categorical Aspects of Data Type Constructors. 103-135
  
• Jan A. Bergstra, J. V. Tucker:
  Algebraic Specifications of Computable and Semicomputable Data Types. 137-181
  
• Jacques Mazoyer:
  A Six-State Minimal Time Solution to the Firing Squad Synchronization Problem. 183-238
  
• Iain Phillips:
  Refusal Testing. 241-284
  
• Ildikó Sain:
  Total Correctness in Nonstandard Logics of Programs. 285-321
  
• Eric G. Wagner, Hartmut Ehrig:
  Canonical Constraints for Parameterized Data Types. 323-349
  

Last update Sat May 18 20:56:53 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page