2002

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

1999

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

1998

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

1996

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

1995

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

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

1994

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