The following pages link to Verification: Theory and Practice (Q5305665):
Displaying 6 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- A tableau-based decision procedure for a fragment of set theory with iterated membership (Q812437) (← links)
- Combining sets with cardinals (Q812443) (← links)
- Deciding Boolean algebra with Presburger arithmetic (Q861705) (← links)
- Sets with two associative operations (Q1407182) (← links)
- Decision Procedures for Region Logic (Q2891431) (← links)