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: 15.

Giesl, Jürgen ; Hähnle, Reiner (2011)
Preface: Special Issue of Selected Extended Papers of IJCAR 2010.
In: J. Autom. Reasoning, 47 (4)
doi: 10.1007/s10817-011-9240-3
Article, Bibliographie

eds.: Giesl, Jürgen ; Hähnle, Reiner (2010)
Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings.
doi: 10.1007/978-3-642-14203-1
Book, Bibliographie

Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias
eds.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
09411 Abstracts Collection - Interaction versus Automation: The two Faces of Deduction.
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Conference or Workshop Item, Bibliographie

eds.: Ball, Thomas ; Giesl, Jürgen ; Hähnle, Reiner ; Nipkow, Tobias (2009)
Interaction versus Automation: The two Faces of Deduction, 04.10. - 09.10.2009.
Book, Bibliographie

Giesl, Jürgen ; Middeldorp, A. (2000)
Eliminating dummy elimination.
Conference or Workshop Item, Bibliographie

Giesl, Jürgen (1999)
Context-moving transformations for function verification.
Conference or Workshop Item, Bibliographie

Giesl, Jürgen (1999)
Mechanized verification of imperative and functional programs.
Habilitation, Bibliographie

Giesl, Jürgen ; Middeldorp, A. (1999)
Transforming context-sensitive rewrite systems.
Conference or Workshop Item, Bibliographie

Giesl, Jürgen ; Walther, Christoph ; Brauburger, J.
ed.: Bibel, Wolfgang (1998)
Termination Analysis for Functional Programs.
In: Automated deduction: a basis for applications. Volume III Applications
doi: 10.1007/978-94-017-0437-3
Book Section, Bibliographie

Giesl, Jürgen (1997)
Termination of nested and mutually recursive algorithms.
In: Journal of automated reasoning. 19 (1997), S. 1-29
Article, Bibliographie

Giesl, Jürgen (1996)
Proving partial correctness of partial functions.
Conference or Workshop Item, Bibliographie

Giesl, Jürgen (1995)
Automated termination proofs with measure functions.
Conference or Workshop Item, Bibliographie

Giesl, Jürgen (1995)
Automatisierung von Terminierungsbeweisen für rekursiv definierte Algorithmen.
Technische Universität Darmstadt
Ph.D. Thesis, Bibliographie

Giesl, Jürgen (1995)
Generating polynomial orderings for termination proofs.
Conference or Workshop Item, Bibliographie

Giesl, Jürgen (1995)
Termination analysis for functional programs using term orderings.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Mar 5 00:11:22 2024 CET.