Author:
Cantone Domenico,Ghelfo Susanna,Omodeo Eugenio
Subject
Computational Mathematics,Algebra and Number Theory
Reference32 articles.
1. On simplifying truth-functional formulas;Bing;J. Symb. Logic,1956
2. Decision procedures for elementary sublanguages of Set Theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions;Breban;Comm. Pure App. Math.,1981
3. Decision procedures for elementary sublanguages of Set Theory. III. Restricted classes of formulas involving the powerset operator and the general set union operator;Breban;Adv. Appl. Math.,1984
4. Decision procedures for elementary sublanguages of Set Theory. VI. Multi-level syllogistic extended by the powerset operator;Cantone;Comm. Pure App. Math., Spec. Annivers. Iss.,1985
5. Some recent decidability results in set theory;Cantone;X Incontro di Logica Matematica—La Logica nell* Informatica, Siena,1986
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献