The following pages link to Polite Theories Revisited (Q4933320):
Displayed 8 items.
- Many-sorted equivalence of shiny and strongly polite theories (Q682380) (← links)
- Being careful about theory combination (Q2441773) (← links)
- A New Decision Procedure for Finite Sets and Cardinality Constraints in SMT (Q2817912) (← links)
- A Rewriting Approach to the Combination of Data Structures with Bridging Theories (Q2964468) (← links)
- Sharing Is Caring: Combination of Theories (Q3172894) (← links)
- Satisfiability Modulo Theories (Q3176369) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- (Q4553283) (← links)