Author:
Cantone Domenico Aldo,Maugeri Pietro,Omodeo Eugenio G.
Subject
General Earth and Planetary Sciences,General Environmental Science
Reference18 articles.
1. Embedding boolean expressions into logic programming;H W B�ttner;J. Symb. Comput,1987
2. A quadratic reduction of constraints over nested sets to purely Boolean formulae in CNF;A D Cantone;Proceedings of the 35th Italian Conference on Computational Logic -CILC 2020,2020
3. Complexity assessments for decidable fragments of Set Theory. I: A taxonomy for the Boolean case;A D Cantone;Fundam. Informaticae,2021
4. Computable Set Theory;A D Cantone;of International Series of Monographs on Computer Science,1989