Login / Signup
Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership.
Domenico Cantone
Pietro Maugeri
Eugenio G. Omodeo
Published in:
Theor. Comput. Sci. (2020)
Keyphrases
</>
set theory
first order logic
expressive power
partial order
fuzzy set theory
mathematical morphology
algebraic geometry
fuzzy sets
boolean algebra
polynomial hierarchy
databases
rough sets
pattern recognition
inference rules
data complexity
transitive closure