The following pages link to (Q4234182):
Displaying 5 items.
- The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations (Q737087) (← links)
- Decision procedures for elementary sublanguages of set theory: X. Multilevel syllogistic extended by the singleton and powerset operators (Q810489) (← links)
- The automation of syllogistic. II: Optimization and complexity issues (Q1813824) (← links)
- Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator (Q3705420) (← links)
- Techniques of computable set theory with applications to proof verification (Q4884662) (← links)