Pages that link to "Item:Q6488548"
From MaRDI portal
The following pages link to Improving associative path orderings (Q6488548):
Displaying 4 items.
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- An improved general path order (Q1925013) (← links)
- Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809) (← links)
- A Higher-Order Iterative Path Ordering (Q5505590) (← links)