The following pages link to Polite Theories Revisited (Q4933320):
Displayed 15 items.
- Many-sorted equivalence of shiny and strongly polite theories (Q682380) (← links)
- Politeness and stable infiniteness: stronger together (Q2055852) (← links)
- Polite combination of algebraic datatypes (Q2090130) (← links)
- Politeness for the theory of algebraic datatypes (Q2096449) (← links)
- Reasoning about vectors using an SMT theory of sequences (Q2104504) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← 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)
- Reasoning about vectors: satisfiability modulo a theory of sequences (Q6053845) (← links)
- Combining stable infiniteness and (strong) politeness (Q6053847) (← links)