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 ; Giesl, J. (1998)
Termination analysis by inductive evaluation.
Konferenzveröffentlichung, 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