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...
research
∙
09/17/2021