The following pages link to Combining sets with cardinals (Q812443):
Displaying 7 items.
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Politeness and combination methods for theories with bridging functions (Q2303236) (← links)
- A Polite Non-Disjoint Combination Method: Theories with Bridging Functions Revisited (Q3454111) (← links)
- (Q4553283) (← links)
- Verification: Theory and Practice (Q5305665) (← links)
- Combination of Among and Cardinality Constraints (Q5450939) (← links)
- On the convexity of a fragment of pure set theory with applications within a Nelson-Oppen framework (Q6649524) (← links)