The following pages link to (Q4255512):
Displaying 7 items.
- Non-disjoint combined unification and closure by equational paramodulation (Q831919) (← links)
- Combination of constraint solvers for free and quasi-free structures (Q1127338) (← links)
- Unions of non-disjoint theories and combinations of satisfiability procedures (Q1853591) (← links)
- More problems in rewriting (Q5055812) (← links)
- Combination of constraint solving techniques: An algebraic point of view (Q5055842) (← links)
- Problems in rewriting III (Q5055847) (← links)
- Combination techniques for non-disjoint equational theories (Q5210778) (← links)
