 | 2009 |
|---|
| 9 |       | Stephan Falke,
Deepak Kapur:
A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs.
CADE 2009: 277-293 |
| 8 | | Carsten Fuhs,
Jürgen Giesl,
Martin Plücker,
Peter Schneider-Kamp,
Stephan Falke:
Proving Termination of Integer Term Rewriting.
RTA 2009: 32-47 |
| 7 | | 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 | | Stephan Falke,
Deepak Kapur:
Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures.
RTA 2008: 94-109 |
| 2007 |
|---|
| 5 | | Stephan Falke,
Deepak Kapur:
Dependency Pairs for Rewriting with Non-free Constructors.
CADE 2007: 426-442 |
| 2006 |
|---|
| 4 | | Stephan Falke,
Deepak Kapur:
Inductive Decidability Using Implicit Induction.
LPAR 2006: 45-59 |
| 3 | | 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 | | Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
Stephan Falke:
Automated Termination Proofs with AProVE.
RTA 2004: 210-220 |
| 2003 |
|---|
| 1 | | Jürgen Giesl,
René Thiemann,
Peter Schneider-Kamp,
Stephan Falke:
Improving Dependency Pairs.
LPAR 2003: 167-182 |
