Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Domenico Cantone' in GoogleThis author has not been identified. Look up 'Andrea De Domenico' in GoogleThis author has not been identified. Look up 'Pietro Maugeri' in GoogleThis author has not been identified. Look up 'Eugenio G. Omodeo' in Google

runs on WebDSL