Volume 37, Issue 3 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 37, Issue 3

October 2006

Third Special Issue on Techniques for Automated Termination Proofs

3 articles in this issue

Third Special Issue on Techniques for Automated Termination Proofs
Jürgen Giesl
Deepak Kapur
OriginalPaper 25 November 2006 Pages: 153 - 154
Mechanizing and Improving Dependency Pairs
Jürgen Giesl
René Thiemann
Stephan Falke
OriginalPaper 10 January 2007 Pages: 155 - 203
Elimination Transformations for Associative–Commutative Rewriting Systems
Kusakari Keiichirou
Nakamura Masaki
Toyama Yoshihito
OriginalPaper 02 December 2006 Pages: 205 - 229