Pages that link to "Item:Q810492"
From MaRDI portal
The following pages link to Decision procedures for elementary sublanguages of set theory: XII. Multilevel syllogistic extended with singleton and choice operators (Q810492):
Displaying 8 items.
- A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions. I: The two-level case (Q556680) (← links)
- Decision procedures for elementary sublanguages of set theory: XI. Multilevel syllogistic extended by some elementary map constructs (Q810491) (← links)
- Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\) (Q912082) (← links)
- Set theory for computing. From decision procedures to declarative programming with sets. Foreword by Jacob T. Schwartz (Q2740887) (← links)
- (Q3437734) (← links)
- Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory (Q3768865) (← links)
- Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present (Q3803085) (← links)
- (Q4234182) (← links)
