Aderhold, Markus
Hrsg.: Giesl, J. ; Hähnle, R. (2010)
Automated Synthesis of Induction Axioms for Programs with Second-Order Recursion.
Konferenzveröffentlichung, Bibliographie

Duffy, David A. ; Giesl, J. (2000)
Closure induction in a Z-like language.
Konferenzveröffentlichung, Bibliographie

Ohsaki, Hitoshi ; Middeldorp, A. ; Giesl, J. (2000)
Equational termination by semantic labelling.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (2000)
Termination of term rewriting using dependency pairs.
In: Theoretical computer science, 236
Artikel, Bibliographie

Arts, Thomas ; Giesl, J. (1999)
Applying rewriting techniques to the verification of Erlang processes.
Konferenzveröffentlichung, Bibliographie

Brauburger, Jürgen ; Giesl, J. (1999)
Approximating the domains of functional and imperative programs.
In: Science of computer programming, 35
Artikel, Bibliographie

Arts, Thomas ; Giesl, J. (1998)
Modularity of termination using dependency pairs.
Konferenzveröffentlichung, Bibliographie

Brauburger, Jürgen ; Giesl, J. (1998)
Termination analysis by inductive evaluation.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1997)
Automatically proving termination where simplification orderings fail.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1997)
Proving innermost normalisation automatically.
Konferenzveröffentlichung, Bibliographie

Brauburger, Jürgen ; Giesl, J. (1996)
Termination analysis for partial functions.
Konferenzveröffentlichung, Bibliographie

Arts, Thomas ; Giesl, J. (1996)
Termination of constructor systems.
Konferenzveröffentlichung, Bibliographie