TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 8.

Hähnle, Reiner and Murray, Neil and Rosenthal, Erik Fermüller, Christian and Egly, Uwe (eds.) (2002):
Unit Preference for Ordered Resolution and for Connection Graph Resolution.
In: Position Papers presented at International Conference on Analytic Tableaux and Related Methods, Copenhagen, Denmark, [Conference or Workshop Item]

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

Egly, Uwe and Schmitt, S. (1998):
Intuitionistic proof transformations and their application to constructive program synthesis.
1476In: 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, Berlin (u.a.), Springer, [Conference or Workshop Item]

Egly, Uwe (1996):
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, Berlin (u.a.), Springer, [Conference or Workshop Item]

Egly, Uwe (1996):
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, Berlin (u.a.), Springer, [Conference or Workshop Item]

Egly, Uwe (1995):
Super-polynomial speed-ups in proof length by new tautologies.
990In: 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, New York, Springer, [Conference or Workshop Item]

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

Egly, Uwe (1994):
On methods of function introduction and related concepts.
Darmstadt: 1994. XVI, 167 S.,
Darmstadt, Technische Univ. Darmstadt, TU Darmstadt, [Ph.D. Thesis]

This list was generated on Tue Aug 4 02:01:44 2020 CEST.