Pages that link to "Item:Q5055808"
From MaRDI portal
The following pages link to A precedence-based total AC-compatible ordering (Q5055808):
Displaying 11 items.
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q1275020) (← links)
- A fully syntactic AC-RPO. (Q1400715) (← links)
- (Q4447239) (← links)
- AC unification through order-sorted AC1 unification (Q5055752) (← links)
- More problems in rewriting (Q5055812) (← links)
- On narrowing, refutation proofs and constraints (Q5055818) (← links)
- Ordered chaining for total orderings (Q5210789) (← links)
- Associative-commutative deduction with constraints (Q5210795) (← links)
- Automated Deduction – CADE-19 (Q5900709) (← links)
- Positive deduction modulo regular theories (Q6560184) (← links)