Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo. Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case. Fundamenta Informaticae, 181(1):37-69, 2021. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Complexity assessments for decidable fragments of Set Theory. III: Testers for crucial, polynomial-maximal decidable Boolean languagesDomenico Cantone, Pietro Maugeri, Eugenio G. Omodeo. TCS, 954:113786, 2023. [doi] Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membershipDomenico Cantone, Pietro Maugeri, Eugenio G. Omodeo. TCS, 848:28-46, 2020. [doi]
The following publications are possibly variants of this publication: