Eugenio G. Omodeo | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred