1999 |
5 | | Jürgen Brauburger,
Jürgen Giesl:
Approximating the Domains of Functional and Imperative Programs.
Sci. Comput. Program. 35(2): 113-136 (1999) |
1998 |
4 | EE | Jürgen Brauburger,
Jürgen Giesl:
Termination Analysis by Inductive Evaluation.
CADE 1998: 254-269 |
1997 |
3 | | Thomas Kolbe,
Jürgen Brauburger:
Plagiator - A Learning Prover.
CADE 1997: 256-259 |
2 | | Jürgen Brauburger:
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings.
SAS 1997: 330-344 |
1996 |
1 | | Jürgen Brauburger,
Jürgen Giesl:
Termination Analysis for Partial Functions.
SAS 1996: 113-127 |