Pages that link to "Item:Q5881184"
From MaRDI portal
The following pages link to Path orderings for termination of associative-commutative rewriting (Q5881184):
Displaying 7 items.
- Termination orderings for associative-commutative rewriting systems (Q1072371) (← links)
- Associative-commutative reduction orderings (Q1198005) (← links)
- Rewrite orderings for higher-order terms in \(\eta\)-long \(\beta\)-normal form and the recursive path ordering (Q1275015) (← links)
- Termination modulo equations by abstract commutation with an application to iteration (Q1391793) (← links)
- Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809) (← links)
- Graph Path Orderings (Q5222963) (← links)
- Rewriting Techniques and Applications (Q5901561) (← links)