Part of the Lecture Notes in Computer Science book series (LNCS, volume 698)
SKIL: A system for programming with proofs
Unable to display preview. Download preview PDF.
- 1.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.Google Scholar
- 2.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.Google Scholar
- 3.J.L. Krivine and M. Parigot. Programming with proofs. J. Inform. Process. Cybernet., 3:149–167, 1990.Google Scholar
- 4.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.Google Scholar
© Springer-Verlag Berlin Heidelberg 1993