There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and book information

Book Chapter

Publication date (Print): 2005

Pages: 301-331

DOI: 10.1007/978-3-540-32275-7_21

SO-VID: 54f9f755-e98c-47da-a2d2-acbfe4f2a188

History

Data availability:

Comments

Comment on this book

Book chapters

Cited by 33

AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
Authors: Jürgen Giesl, Peter Schneider-Kamp, René Thiemann
Matrix Interpretations for Proving Termination of Term Rewriting
Authors: Jörg Endrullis, Johannes Waldmann, Hans H Zantema
Mechanizing and Improving Dependency Pairs
Authors: Jürgen Giesl, René Thiemann, Peter Schneider-Kamp …

See all cited by

The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs

Read this book at