Volume 34, Issue 2 | Journal of Automated Reasoning

Search all Journal of Automated Reasoning articles

Volume 34, Issue 2

December 2005

Techniques for Automated Termination Proofs

Issue Editors:

Jürgen Giesel,
Deepak Kapur

4 articles in this issue

Preface
Jürgen Giesl
Deepak Kapur
EditorialNotes 28 February 2006 Pages: 103 - 104
Termination of String Rewriting Proved Automatically
H. Zantema
OriginalPaper 28 February 2006 Pages: 105 - 139
Termination of Floating-Point Computations
Alexander Serebrenik
Danny De Schreye
OriginalPaper 28 February 2006 Pages: 141 - 177
Verifying Termination and Reduction Properties about Higher-Order Logic Programs
Brigitte Pientka
OriginalPaper 28 February 2006 Pages: 179 - 207