Complexity assessments for decidable fragments of set theory. II: A taxonomy for âsmallâ languages involving membership
Cantone, Domenico, Maugeri, Pietro, Omodeo, Eugenio G.Journal:
Theoretical Computer Science
DOI:
10.1016/j.tcs.2020.08.023
Date:
August, 2020
File:
PDF, 1.18 MB
2020