Search the dblp DataBase

Publications of Author

1. Stephan Falke, Deepak Kapur
   Inductive Decidability Using Implicit Induction. [Citation Graph (0, 0)][DBLP]
   LPAR, 2006, pp:45-59 [Conf]
   
2. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
   Improving Dependency Pairs. [Citation Graph (0, 0)][DBLP]
   LPAR, 2003, pp:167-182 [Conf]
   
3. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
   Automated Termination Proofs with AProVE. [Citation Graph (0, 0)][DBLP]
   RTA, 2004, pp:210-220 [Conf]
   
4. Jürgen Giesl, René Thiemann, Peter Schneider-Kamp, Stephan Falke
   Mechanizing and Improving Dependency Pairs. [Citation Graph (0, 0)][DBLP]
   J. Autom. Reasoning, 2006, v:37, n:3, pp:155-203 [Journal]
   
5. Stephan Falke, Deepak Kapur
   Dependency Pairs for Rewriting with Non-free Constructors. [Citation Graph (0, 0)][DBLP]
   CADE, 2007, pp:426-442 [Conf]
   
6. 
   A Term Rewriting Approach to the Automated Termination Analysis of Imperative Programs. [Citation Graph (, )][DBLP]
   
   
7. 
   Proving Termination of Integer Term Rewriting. [Citation Graph (, )][DBLP]
   
   
8. 
   Dependency Pairs for Rewriting with Built-In Numbers and Semantic Data Structures. [Citation Graph (, )][DBLP]
   
   
9. 
   Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures. [Citation Graph (, )][DBLP]
   
   
10. 
    Operational Termination of Conditional Rewriting with Built-in Numbers and Semantic Data Structures. [Citation Graph (, )][DBLP]