Pages that link to "Item:Q5210796"
From MaRDI portal
The following pages link to AC-superposition with constraints: No AC-unifiers needed (Q5210796):
Displayed 13 items.
- On the complexity of Boolean unification (Q293360) (← links)
- A total AC-compatible ordering based on RPO (Q673623) (← links)
- Local simplification (Q1271570) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q1275020) (← links)
- Theorem proving modulo (Q1431339) (← links)
- Cancellative Abelian monoids and related structures in refutational theorem proving. I (Q1864898) (← links)
- Proof-search in intuitionistic logic based on constraint satisfaction (Q4645245) (← links)
- Theorem proving in cancellative abelian monoids (extended abstract) (Q4647536) (← links)
- On narrowing, refutation proofs and constraints (Q5055818) (← links)
- Combination of constraint solving techniques: An algebraic point of view (Q5055842) (← links)
- AC-complete unification and its application to theorem proving (Q5055849) (← links)
- Superposition theorem proving for abelian groups represented as integer modules (Q5055850) (← links)
- Local simplification (Q5096297) (← links)