 | 2007 |
|---|
| 4 |       | Jürgen Giesl,
Peter Schneider-Kamp,
René Thiemann,
Stephan Swiderski,
Manh Thang Nguyen,
Danny De Schreye,
Alexander Serebrenik:
Termination of Programs using Term Rewriting and SAT Solving.
Deduction and Decision Procedures 2007 |
| 3 | | Manh Thang Nguyen,
Jürgen Giesl,
Peter Schneider-Kamp,
Danny De Schreye:
Termination Analysis of Logic Programs Based on Dependency Graphs.
LOPSTR 2007: 8-22 |
| 2006 |
|---|
| 2 | | Manh Thang Nguyen,
Danny De Schreye:
Polytool: Proving Termination Automatically Based on Polynomial Interpretations.
LOPSTR 2006: 210-218 |
| 2005 |
|---|
| 1 | | Manh Thang Nguyen,
Danny De Schreye:
Polynomial Interpretations as a Basis for Termination Analysis of Logic Programs.
ICLP 2005: 311-325 |
