Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership

Domenico Cantone, Pietro Maugeri, Eugenio G. Omodeo. Complexity assessments for decidable fragments of set theory. II: A taxonomy for 'small' languages involving membership. Theoretical Computer Science, 848:28-46, 2020. [doi]

Authors

Domenico Cantone

This author has not been identified. Look up 'Domenico Cantone' in Google

Pietro Maugeri

This author has not been identified. Look up 'Pietro Maugeri' in Google

Eugenio G. Omodeo

This author has not been identified. Look up 'Eugenio G. Omodeo' in Google