Monotonicity Criteria for Polynomial Interpretations over the Naturals
From MaRDI portal
Publication:5747787
DOI10.1007/978-3-642-14203-1_42zbMath1291.68365MaRDI QIDQ5747787
Aart Middeldorp, Harald Zankl, Friedrich Neurauter
Publication date: 14 September 2010
Published in: Automated Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-14203-1_42
68Q42: Grammars and rewriting systems
Uses Software
Cites Work
- Mechanically proving termination using polynomial interpretations
- Tyrolean termination tool: techniques and features
- A note on simplification orderings
- Testing positiveness of polynomials
- Termination of term rewriting using dependency pairs
- Automating the dependency pair method
- Maximal Termination
- SAT Solving for Termination Analysis with Polynomial Interpretations
- Polynomials over the reals in proofs of termination : from theory to practice
- Logic for Programming, Artificial Intelligence, and Reasoning