Skip to Main content Skip to Navigation
Conference papers

Matrix interpretations revisited

Abstract : This paper presents a generalization of the matrix interpretation orderings used to prove the termination of term rewriting systems. This extension allows for more orderings and more matrices without increasing the search space.
Document type :
Conference papers
Complete list of metadata
Contributor : Laboratoire Cedric Connect in order to contact the contributor
Submitted on : Friday, March 6, 2015 - 11:21:53 AM
Last modification on : Monday, February 3, 2020 - 2:10:03 PM


  • HAL Id : hal-01125629, version 1



Pierre Courtieu, Gladys Gbedo, Olivier Pons. Matrix interpretations revisited. Extended Abstracts of the 10th International Workshop on Termination, WST'09, Leipzig, Germany, Ju, Jan 2009, X, France. pp.4. ⟨hal-01125629⟩



Les métriques sont temporairement indisponibles