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 metadatas

https://hal.archives-ouvertes.fr/hal-01125629
Contributor : Laboratoire Cedric <>
Submitted on : Friday, March 6, 2015 - 11:21:53 AM
Last modification on : Monday, February 3, 2020 - 2:10:03 PM

Identifiers

  • HAL Id : hal-01125629, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

69