Pages that link to "Item:Q579930"
From MaRDI portal
The following pages link to Termination of rewriting systems by polynomial interpretations and its implementation (Q579930):
Displaying 5 items.
- Polynomials over the reals in proofs of termination : from theory to practice (Q5313720) (← links)
- Termination of term rewriting by interpretation (Q5881183) (← links)
- Path orderings for termination of associative-commutative rewriting (Q5881184) (← links)
- Analyzing Innermost Runtime Complexity Through Tuple Interpretations (Q6118746) (← links)
- Improving associative path orderings (Q6488548) (← links)