Pages that link to "Item:Q673623"
From MaRDI portal
The following pages link to A total AC-compatible ordering based on RPO (Q673623):
Displaying 12 items.
- A note on division orderings on strings (Q918714) (← links)
- 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 unification through order-sorted AC1 unification (Q5055752) (← links)
- A precedence-based total AC-compatible ordering (Q5055808) (← links)
- AC-superposition with constraints: No AC-unifiers needed (Q5210796) (← links)
- Automated Deduction – CADE-19 (Q5900709) (← links)
- Theorem proving modulo associativity (Q6560183) (← links)
- On the specification of visual languages: multisets as first-class citizens (Q6560194) (← links)