Deutsch

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

Englisch

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

Brauburger, Jürgen (1999)
Automatic termination analysis for functional and imperative programs.
Technische Universität Darmstadt
Dissertation, Bibliographie

Brauburger, Jürgen (1997)
Automatic termination analysis for partial functions using polynomial orderings.
Konferenzveröffentlichung, Bibliographie

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