Pages that link to "Item:Q1891259"
From MaRDI portal
The following pages link to A path ordering for proving termination of AC rewrite systems (Q1891259):
Displaying 6 items.
- Proving Termination Using Recursive Path Orders and SAT Solving (Q3525016) (← links)
- A new method for proving termination of AC-rewrite systems (Q3976057) (← links)
- (Q4447239) (← links)
- Path indexing for AC-theories (Q4647560) (← links)
- Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809) (← links)
- Path orderings for termination of associative-commutative rewriting (Q5881184) (← links)