Pages that link to "Item:Q673623"
From MaRDI portal
The following pages link to A total AC-compatible ordering based on RPO (Q673623):
Displaying 6 items.
- Unification of infinite sets of terms schematized by primal grammars (Q1392278) (← links)
- A fully syntactic AC-RPO. (Q1400715) (← links)
- Canonized Rewriting and Ground AC Completion Modulo Shostak Theories (Q3000635) (← links)
- Termination Modulo Combinations of Equational Theories (Q3655204) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- AC-superposition with constraints: No AC-unifiers needed (Q5210796) (← links)
