Polynomial Interpretations with Negative Coefficients

Nao Hirokawa,Aart Middeldorp

doi:10.1007/978-3-540-30210-0_16

Polynomial Interpretations with Negative Coefficients

Nao Hirokawa, Aart Middeldorp

Open Access

https://doi.org/10.1007/978-3-540-30210-0_16

Copy DOI

Publication Date: Jan 1, 2004

Citations: 40

Affiliation: Universität Innsbruck

#Polynomial Interpretations #Termination Of Term Rewrite Systems + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

Polynomial interpretations are a useful technique for proving termination of term rewrite systems. We show how polynomial interpretations with negative coefficients, like x–1 for a unary function symbol or x–y for a binary function symbol, can be used to extend the class of rewrite systems that can be automatically proved terminating.

Full Text