DE DOMENICO, Andrea
DE DOMENICO, Andrea
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.013 secondi).
A quadratic reduction of constraints over nested sets to purely boolean formulae in CNF
2020-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G.
An ontology for the iconographic sources of la divina commedia
2020-01-01 De Domenico, A.; Cantone, D.; Nicolosi Asmundo, M.
Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case
file da validare2021-01-01 Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G.
On the convexity of a fragment of pure set theory with applications within a nelson-oppen framework
file da validare2021-01-01 Cantone, D.; Maugeri, P.; de Domenico, A.
Polynomial-time satisfiability tests for Boolean fragments of set theory
2019-01-01 Cantone, Domenico; DE DOMENICO, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A quadratic reduction of constraints over nested sets to purely boolean formulae in CNF | 1-gen-2020 | Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G. | |
| An ontology for the iconographic sources of la divina commedia | 1-gen-2020 | De Domenico, A.; Cantone, D.; Nicolosi Asmundo, M. | |
| Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case | 1-gen-2021 | Cantone, D.; De Domenico, A.; Maugeri, P.; Omodeo, E. G. | file da validare |
| On the convexity of a fragment of pure set theory with applications within a nelson-oppen framework | 1-gen-2021 | Cantone, D.; Maugeri, P.; de Domenico, A. | file da validare |
| Polynomial-time satisfiability tests for Boolean fragments of set theory | 1-gen-2019 | Cantone, Domenico; DE DOMENICO, Andrea; Maugeri, Pietro; Omodeo, Eugenio G. |