Pages that link to "Item:Q673623"
From MaRDI portal
The following pages link to A total AC-compatible ordering based on RPO (Q673623):
Displayed 4 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)