| 2009 |
|---|
| 7 | EE | Stephan Falke,
Deepak Kapur:
Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures.
Electr. Notes Theor. Comput. Sci. 237: 75-90 (2009) |
| 2008 |
|---|
| 6 | EE | Stephan Falke,
Deepak Kapur:
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.
RTA 2008: 94-109 |
| 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 |
