Pages that link to "Item:Q1805401"
From MaRDI portal
The following pages link to Termination of rewrite systems by elementary interpretations (Q1805401):
Displaying 4 items.
- Beyond polynomials and Peano arithmetic -- automation of elementary and ordinal interpretations (Q485843) (← links)
- Mechanically proving termination using polynomial interpretations (Q851142) (← links)
- More problems in rewriting (Q5055812) (← links)
- Automatic Proofs of Termination With Elementary Interpretations (Q5170190) (← links)
