Artikel

Egly, Uwe ; Schmitt, S. (1999)
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
In: Fundamenta Informaticae, 39 (1-2)
doi: 10.3233/FI-1999-391204
Artikel, Bibliographie

Egly, Uwe ; Rath, (1995)
The halting problem: an automatically generated proof.
In: AAR-newsletter. 30 (1995), S. 10-16
Artikel, Bibliographie

Konferenzveröffentlichung

Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Fermüller, Christian ; Egly, Uwe (2002)
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
Konferenzveröffentlichung, Bibliographie

Egly, Uwe ; Schmitt, S. (1998)
Intuitionistic proof transformations and their application to constructive program synthesis.
Konferenzveröffentlichung, Bibliographie

Egly, Uwe (1996)
On the practical value of different definitional translations to normal form.
Konferenzveröffentlichung, Bibliographie

Egly, Uwe (1996)
On the practical value of different definitional translations to normal form.
Konferenzveröffentlichung, Bibliographie

Egly, Uwe (1995)
Super-polynomial speed-ups in proof length by new tautologies.
Konferenzveröffentlichung, Bibliographie

Dissertation

Egly, Uwe (1994)
On methods of function introduction and related concepts.
Technische Universität Darmstadt
Dissertation, Bibliographie