- Record: found
- Abstract: not found
- Article: not found
Matrix Interpretations for Proving Termination of Term Rewriting
December 2007
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Abstract
Related collections
Most cited references10
- Record: found
- Abstract: not found
- Book Chapter: not found
AProVE 1.2: Automatic Termination Proofs in the Dependency Pair Framework
- Record: found
- Abstract: not found
- Book Chapter: not found
The Dependency Pair Framework: Combining Techniques for Automated Termination Proofs
- Record: found
- Abstract: not found
- Article: not found
Automating the dependency pair method
Nao Hirokawa, Aart Middeldorp (2005)