Realizability of Monotone Coinductive Definitions and Its Application to Program Synthesis

Authors:
Makoto Tatsuta
Affiliations:
-
Venue:
MPC '98 Proceedings of the Mathematics of Program Construction
Year:
1998

Citing 0
Cited 2

From coinductive proofs to exact real arithmetic

CSL'09/EACSL'09 Proceedings of the 23rd CSL international conference and 18th EACSL Annual conference on Computer science logic
Proofs, programs, processes

CiE'10 Proceedings of the Programs, proofs, process and 6th international conference on Computability in Europe

Quantified Score

Hi-index	0.00

Visualization

Abstract