Pages that link to "Item:Q5096208"
From MaRDI portal
The following pages link to AC-Termination of rewrite systems: A modified Knuth-Bendix ordering (Q5096208):
Displaying 6 items.
- Extending reduction orderings to ACU-compatible reduction orderings (Q293311) (← links)
- Termination orderings for associative-commutative rewriting systems (Q1072371) (← links)
- (Q4035223) (← links)
- AC-KBO revisited (Q4593023) (← links)
- Any ground associative-commutative theory has a finite canonical system (Q5055779) (← links)
- Extension of the associative path ordering to a chain of associative commutative symbols (Q5055809) (← links)