External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

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]

Authors

Uwe Egly

This author has not been identified. Look up 'Uwe Egly' in Google

Stephan Schmitt

This author has not been identified. Look up 'Stephan Schmitt' in Google
runs on