Login / Signup
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case.
Domenico Cantone
Andrea De Domenico
Pietro Maugeri
Eugenio G. Omodeo
Published in:
Fundam. Informaticae (2021)
Keyphrases
</>
set theory
first order logic
rough sets
partial order
polynomial hierarchy
algebraic geometry
fuzzy set theory
machine learning
pattern recognition
image analysis
fuzzy sets
propositional logic
probability theory