Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis

Uwe Egly, Stephan Schmitt. Intuitionistic Proof Transformations and Their Application to Constructive Program Synthesis. In Jacques Calmet, Jan A. Plaza, editors, Artificial Intelligence and Symbolic Computation, International Conference AISC 98, Plattsburgh, New York, USA, September 16-18, 1998, Proceedings. Volume 1476 of Lecture Notes in Computer Science, pages 132-144, Springer, 1998. [doi]

Abstract

Abstract is missing.