Polynomial interpretations with negative coefficients
From MaRDI portal
Recommendations
- Monotonicity criteria for polynomial interpretations over the naturals
- Polynomial interpretations over the natural, rational and real numbers revisited
- Polynomial interpretations over the reals do not subsume polynomial interpretations over the integers
- On the relative power of polynomials with real, rational, and integer coefficients in proofs of termination of rewriting
- scientific article; zbMATH DE number 4110084
Cited in
(17)- Increasing interpretations
- Multi-dimensional interpretations for termination of term rewriting
- Tuple interpretations for termination of term rewriting
- Relative termination via dependency pairs
- Automating the dependency pair method
- Reducing relative termination to dependency pair problems
- Arctic Termination ...Below Zero
- Real_Impl
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations
- Solving Non-linear Polynomial Arithmetic via SAT Modulo Linear Arithmetic
- Polynomials over the reals in proofs of termination : from theory to practice
- Increasing Interpretations
- Monotonicity criteria for polynomial interpretations over the naturals
- Certifying the weighted path order (invited talk)
- Proving termination of context-sensitive rewriting by transformation
- Tyrolean termination tool: techniques and features
- Mechanizing and improving dependency pairs
This page was built for publication: Polynomial interpretations with negative coefficients
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5464701)
