Displaying similar documents to “On polynomials of least deviation from zero in several variables.”

Polynomials over the reals in proofs of termination : from theory to practice

Salvador Lucas (2005)

RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications

Similarity:

This paper provides a framework to address termination problems in term rewriting by using orderings induced by algebras over the reals. The generation of such orderings is parameterized by concrete monotonicity requirements which are connected with different classes of termination problems: termination of rewriting, termination of rewriting by using dependency pairs, termination of innermost rewriting, top-termination of infinitary rewriting, termination of context-sensitive rewriting,...

Restricted partitions.

Jakimczuk, Rafael (2004)

International Journal of Mathematics and Mathematical Sciences

Similarity: