Pages that link to "Item:Q3192185"
From MaRDI portal
The following pages link to A Gentle Non-disjoint Combination of Satisfiability Procedures (Q3192185):
Displaying 6 items.
- Many-sorted equivalence of shiny and strongly polite theories (Q682380) (← links)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates (Q2031420) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- Spectra and satisfiability for logics with successor and a unary function (Q5109229) (← links)
