Matrix interpretations revisited
Pierre Courtieu, Gladys Gbedo, Olivier Pons · HAL - CNAM · 2009
This paper presents a generalization of the matrix interpretation orderings used to prove the termination of term rewriting systems. This extension allowsfor more orderings and more matrices without increasing the search space.