This is a preview of subscription content, log in via an institution.
References
A. Bundy. The use of explicit plans to guide inductive proofs. In 9th Conference on Automated DEduction, pages 111–120. LNAI 310, Springer-Verlag, 1988.
D. Galmiche and O. Hermann. Automated proof and program development. In C.M. Rattray & R.G. Clark, editor, The Unified Computation Laboratory, pages 397–410. Oxford University Press, 1992.
J.L. Krivine and M. Parigot. Programming with proofs. J. Inform. Process. Cybernet., 3:149–167, 1990.
P. Manoury, M. Parigot, and M. Simonot. ProPre: a programming language with proofs. In A. Voronkov, editor, Logic Programming and Automated Reasoning, pages 484–486. LNAI 624, 1992.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1993 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Galmiche, D., Hermann, O. (1993). SKIL: A system for programming with proofs. In: Voronkov, A. (eds) Logic Programming and Automated Reasoning. LPAR 1993. Lecture Notes in Computer Science, vol 698. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-56944-8_67
Download citation
DOI: https://doi.org/10.1007/3-540-56944-8_67
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-56944-2
Online ISBN: 978-3-540-47830-0
eBook Packages: Springer Book Archive