Author:
Cantone Domenico,Zarba Calogero G.
Publisher
Springer Berlin Heidelberg
Reference12 articles.
1. LNAI;B. Beckert,1996
2. Cantone, D., Cutello, V.: Decision procedures for stratified set-theoretic syllogi- stics. In: Proceedings of 1993 Int. Symp. on Symbolic and Algebraic Computation, Kiev-Ukraine, pp. 105–110. ACM Press, New York (1993)
3. Lecture Notes in Computer Science;D. Cantone,1991
4. Cantone, D., Ferro, A.: Techniques of computable set theory with applications to proof verification. Comm. Pure Appl. Math. XLVIII, 1–45 (1995)
5. International Series of Monographs on Computer Science;D. Cantone,1989
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献