 | 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 |  | 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 |
