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