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]
No references recorded for this publication.
No citations of this publication recorded.