Pages that link to "Item:Q5055803"
From MaRDI portal
The following pages link to Combination techniques and decision problems for disunification (Q5055803):
Displaying 10 items.
- \(E\)-unification with constants vs. general \(E\)-unification (Q438584) (← links)
- Combination techniques and decision problems for disunification (Q673624) (← links)
- Disunification in ACI1 theories (Q704658) (← links)
- Strategies for combining decision procedures (Q2368951) (← links)
- (Q4518872) (← links)
- Combination techniques and decision problems for disunification (Q5055803) (← 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)
- A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method (Q5234683) (← links)