Pages that link to "Item:Q795031"
From MaRDI portal
The following pages link to Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator (Q795031):
Displayed 5 items.
- Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator (Q1096608) (← links)
- The automation of syllogistic. I: Syllogistic normal forms (Q1111540) (← links)
- Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx} (Q3726080) (← links)
- (Q4865517) (← links)
- European Summer Meeting of the Association for Symbolic Logic (Q5966661) (← links)