| 2007 |
|---|
| 5 | EE | Stephan Falke,
Deepak Kapur:
Dependency Pairs for Rewriting with Non-free Constructors.
CADE 2007: 426-442 |
| 2006 |
|---|
| 4 | EE | Stephan Falke,
Deepak Kapur:
Inductive Decidability Using Implicit Induction.
LPAR 2006: 45-59 |
| 3 | EE | Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
Stephan Falke:
Mechanizing and Improving Dependency Pairs.
J. Autom. Reasoning 37(3): 155-203 (2006) |
| 2004 |
|---|
| 2 | EE | Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
Stephan Falke:
Automated Termination Proofs with AProVE.
RTA 2004: 210-220 |
| 2003 |
|---|
| 1 | EE | Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
Stephan Falke:
Improving Dependency Pairs.
LPAR 2003: 167-182 |
