Eugenio G. Omodeo | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Domenico Cantone
18 publications
Andrea De Domenico
6 publications
Pietro Maugeri
2 publications

research

∙ 12/09/2021

Complexity assessments for decidable fragments of Set Theory. III: A quadratic reduction of constraints over nested sets to Boolean formulae

As a contribution to quantitative set-theoretic inferencing, a translati...

0 Domenico Cantone, et al. ∙