Pages that link to "Item:Q4916221"
From MaRDI portal
Displaying 4 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)
- (Q3437734) (← links)
- Logical Theory of the Additive Monoid of Subsets of Natural Integers (Q4982989) (← links)