TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 7.

Egly, Uwe ; Schmitt, S. :
On intuitionistic proof transformations, their complexity, and application to constructive program synthesis.
In: Fundamenta Informaticae, 39 pp. 59-83.
[Artikel], (1999)

Egly, Uwe ; Schmitt, S. :
Intuitionistic proof transformations and their application to constructive program synthesis.
In: International Conference on Artificial Intelligence and Symbolic Computation <4, 1998, Plattsburg, NY>: Proceedings. Hrsg.: J. Calmet (u.a.) - Berlin (u.a.): Springer, 1998. S. 132-144 , 1476 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1998)

Egly, Uwe :
On the practical value of different definitional translations to normal form.
In: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 403-417 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)

Egly, Uwe :
On the practical value of different definitional translations to normal form.
In: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 403-417 . Springer , Berlin (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)

Egly, Uwe :
Super-polynomial speed-ups in proof length by new tautologies.
In: Progress in Artificial Intelligence: Portuguese Conference on Artificial Intelligence <7,1995>: Proceedings. Hrsg.: C. Pinto-Ferreira (u.a.) - New York (u.a.): Springer, 1995. S. 29-40 , 990 . Springer , New York
[Konferenz- oder Workshop-Beitrag], (1995)

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

Egly, Uwe :
On methods of function introduction and related concepts.
Technische Univ. Darmstadt , Darmstadt
[Dissertation]

Diese Liste wurde am Tue Nov 21 07:28:58 2017 CET generiert.