Sfoglia per Autore
Mostrati risultati da 1 a 10 di 10
Polynomial-time satisfiability tests for Boolean fragments of set theory
2019-01-01 Cantone, Domenico; DE DOMENICO, Andrea; Maugeri, Pietro; Omodeo, Eugenio G.
A potential-based variant of the Bellman-Ford algorithm
2019-01-01 Cantone, Domenico; Maugeri, Pietro; Scafiti, Stefano
Polynomial-time satisfiability tests for ’small’ membership theories
2019-01-01 Cantone, Domenico; Maugeri, Pietro
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.
Complexity assessments for decidable fragments of set theory. II: A taxonomy for ‘small’ languages involving membership
2020-01-01 Cantone, D.; Maugeri, P.; Omodeo, E. G.
Two crucial cubic-time components of polynomial-maximal decidable Boolean languages
file da validare2021-01-01 Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G.
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.
A complete complexity taxonomy of ‘small’ fragments of theory Multi-Level Syllogistic
2022-05-02 Maugeri, Pietro
Complexity assessments for decidable fragments of Set Theory. III Testers for Crucial, Polynomial-Maximal Decidable Boolean Languages
2023-01-01 Cantone, Domenico; Maugeri, Pietro; Omodeo, Eugenio G.
Mostrati risultati da 1 a 10 di 10
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile