Subject
General Earth and Planetary Sciences,General Environmental Science
Reference13 articles.
1. Set-theoretic reductions of Hilbert's tenth problem;D Cantone;Proc. of 3rd Workshop,1989
2. Decision problems for Tarski's and Presburger's arithmetics extended with sets;D Cantone;Proceedings of 3rd Workshop Computer Science Logic -CSL '90,1990
3. Decision procedures for elementary sublanguages of set theory. VI. Multilevel syllogistic extended by the powerset operator;D Cantone;Comm. Pure Appl. Math,1985
4. Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate;Domenico Cantone;Inf. Comput,2014