most citedPolynomial Interpretations over the Natural, Rational and Real Numbers Revisited

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2014★ 1 cited

Polynomial Interpretations over the Natural, Rational and Real Numbers Revisited

Friedrich Neurauter, Aart Middeldorp

Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and…