-
1
-
-
84886302968
-
A tableau calculus for quantifier-free set theoretic formulae
-
Oisterwijk, The Netherlands, LNCS 1397 Springer
-
Bernhard Beckert and Ulrike Hartmer. A tableau calculus for quantifier-free set theoretic formulae. In Proceedings, International Conference on Theorem Proving with Analytic Tableaux and Related Methods, Oisterwijk, The Netherlands, LNCS 1397, pages 93-107. Springer, 1998.
-
(1998)
Proceedings, International Conference on Theorem Proving with Analytic Tableaux and Related Methods
, pp. 93-107
-
-
Beckert, B.1
Hartmer, U.2
-
2
-
-
84957370423
-
STeP: Deductive-algorithmic verification of reactive and real-time systems
-
Springer-Verlag, July
-
th Intl. Conference on Computer Aided Verification, volume 1102 of LNCS, pages 415-418. Springer-Verlag, July 1996.
-
(1996)
th Intl. Conference on Computer Aided Verification, Volume 1102 of LNCS
, pp. 415-418
-
-
Bjørner, N.S.1
Browne, A.2
Chang, E.S.3
Colón, M.4
Kapur, A.5
Manna, Z.6
Sipma, H.B.7
Uribe, T.E.8
-
4
-
-
84958773688
-
A fast saturation strategy for set-theoretic tableaux
-
Didier Galmiche, editor Berlin, May13-16 Springer
-
Domenico Cantone. A fast saturation strategy for set-theoretic Tableaux. In Didier Galmiche, editor, Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, volume 1227 of LNAI, pages 122-137, Berlin, May13-16 1997. Springer.
-
(1997)
Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, Volume 1227 of LNAI
, pp. 122-137
-
-
Cantone, D.1
-
5
-
-
84990643415
-
Techniques of computable set theory with applications to proof verification
-
Domenico Cantone and Alfredo Ferro. Techniques of computable set theory with applications to proof verification. Comm. Pure Appl. Math., XLVIII:1-45, 1995.
-
(1995)
Comm. Pure Appl. Math
, vol.48
, pp. 1-45
-
-
Cantone, D.1
Ferro, A.2
-
6
-
-
0003672201
-
-
Oxford Science Publications of International Series of Monographs on Computer Science. Clarendon Press
-
Domenico Cantone, Alfredo Ferro, and Eugenio Omodeo. Computable set theory, volume no.6 Oxford Science Publications of International Series of Monographs on Computer Science. Clarendon Press, 1989.
-
(1989)
Computable Set Theory
, vol.6
-
-
Cantone, D.1
Ferro, A.2
Omodeo, E.3
-
7
-
-
0000635278
-
The taming of the cut. Classical refutations with analytic cut
-
June
-
Marcello D'Agostino and Marco Mondadori. The taming of the cut. Classical refutations with analytic cut. Journal of Logic and Computation, 4(3):285-319, June 1994.
-
(1994)
Journal of Logic and Computation
, vol.4
, Issue.3
, pp. 285-319
-
-
D'Agostino, M.1
Mondadori, M.2
-
8
-
-
0003631434
-
First-order logic and automated theorem proving
-
Springer-Verlag, Berlin, 2nd edition 1st ed.
-
Melvin C. Fitting. First-Order Logic and Automated Theorem Proving. Graduate Texts in Computer Science. Springer-Verlag, Berlin, 2nd edition, 1996. 1st ed., 1990.
-
(1990)
Graduate Texts in Computer Science
-
-
Fitting, M.C.1
|