Pages that link to "Item:Q2185458"
From MaRDI portal
The following pages link to Theory combination: beyond equality sharing (Q2185458):
Displaying 6 items.
- Conflict-driven satisfiability for theory combination: lemmas, modules, and proofs (Q832719) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Being careful about theory combination (Q2441773) (← links)
- (Q4808733) (← links)