Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership
| Autor: | Cantone, Domenico, Maugeri, Pietro, Omodeo, Eugenio G. |
|---|---|
| Zdroj: | In Theoretical Computer Science 24 December 2020 848:28-46 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect