Conference Papers Year : 2009

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.
No file

Dates and versions

hal-01125629 , version 1 (06-03-2015)

Identifiers

  • HAL Id : hal-01125629 , version 1

Cite

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⟩

Collections

CNAM CEDRIC-CNAM
81 View
0 Download

Share

More