Uwe Egly, Stephan Schmitt. On Intuitionistic Proof Transformations, their Complexity, and Application to Constructive Program Synthesis. Fundamenta Informaticae, 39(1-2):59-83, 1999.
No references recorded for this publication.
No citations of this publication recorded.