| No. |
Title |
Author |
Year |
| 1 |
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting |
Brockschmidt, Marc et al. |
2011 |
| 2 |
09411 Abstracts Collection -- Interaction versus Automation: The two Faces of Deduction |
Ball, Thomas et al. |
2010 |
| 3 |
09411 Executive Summary -- Interaction versus Automation: The two Faces of Deductions |
Ball, Thomas et al. |
2010 |
| 4 |
Automated Termination Analysis of Java Bytecode by Term Rewriting |
Otto, Carsten et al. |
2010 |
| 5 |
Inductive Theorem Proving meets Dependency Pairs |
Swiderski, Stephan et al. |
2010 |
| 6 |
Termination of Integer Term Rewriting |
Fuhs, Carsten et al. |
2010 |
| 7 |
07401 Abstracts Collection -- Deduction and Decision Procedures |
Baader, Franz et al. |
2007 |
| 8 |
07401 Executive Summary -- Deduction and Decision Procedures |
Baader, Franz et al. |
2007 |
| 9 |
Decision Procedures for Loop Detection |
Thiemann, René et al. |
2007 |
| 10 |
Implementing RPO and POLO using SAT |
Schneider-Kamp, Peter et al. |
2007 |
