The following pages link to (Q4447239):
Displaying 5 items.
- A fully syntactic AC-RPO. (Q1400715) (← links)
- Modular and incremental proofs of AC-termination (Q2643544) (← links)
- Complete monotonic semantic path orderings (Q2723431) (← links)
- A Monotonic Higher-Order Semantic Path Ordering (Q2996192) (← links)
- Path indexing for AC-theories (Q4647560) (← links)