Reports techniques to solve ∃∀ non-linear polynomial inequalities over naturals for termination analysis without relying on absolute positiveness.
Monotonicity Criteria for Polynomial Interpretations over the Naturals , booktitle =
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Beyond Absolute Positiveness for Universally Quantified Non-Linear Polynomial Constraints
Reports techniques to solve ∃∀ non-linear polynomial inequalities over naturals for termination analysis without relying on absolute positiveness.