- Tytuł:
- Complexity Assessments for Decidable Fragments of Set Theory. I : A Taxonomy for the Boolean Case
- Autorzy:
-
Cantone, Domenico
De Domenico, Andrea
Maugeri, Pietro
Omodeo, Eugenio G. - Data publikacji:
- 2021
- Słowa kluczowe:
-
satisfiability problem
computable set theory
Boolean set theory
expressibility
NP-completeness
proof verification - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł