From matrix interpretations over the rationals to matrix interpretations over the naturals

Salvador Lucas

Matrix interpretations generalize linear polynomial interpretations and have been proved useful in the implementation of tools for automatically proving termination of Term Rewriti…