Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Domenico Cantone and Vincenzo Cutello. A decision procedure for set-theoretic formulae involving rank and cardinality comparison. In A. Bertoni, C. Böhm,and P. Miglioli,eds., Proceedings of the 3rd Italian Conference on Theoretical Computer Science,pages 150–163. World Scientific,1989.
2. Lect Notes Comput Sci;D. Cantone,1990
3. Domenico Cantone and Calogero G. Zarba. A tableau calculus for integrating firstorder reasoning with elementary set theory reasoning. In Roy Dyckhoff, ed., Automated Reasoning with Analytic Tableaux and Related Methods, volume 1847 of Lecture Notes in Artificial Intelligence, pages 143–159. Springer,2000.
4. Alfredo Ferro, Eugenio G. Omodeo, and Jacob T. Scwhartz. Decision procedures for elementary sublanguages of set theory. I. Multi-level syllogistic and some extensions. Communications on Pure and Applied Mathematics, 33(5):599–608, 1980.
5. Greg Nelson and Derek C. Oppen. Simplification by cooperating decision procedures. ACM Transactions on Programming Languages and Systems, 1(2):245–257, 1979.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献