TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Anzahl der Einträge: 8.

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. (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 ; 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

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

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

Diese Liste wurde am Tue Mar 19 02:54:13 2024 CET generiert.