Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. P. Anderson. Program extraction in a logical framework setting. In F. Pfenning, editor, Proceedings of the 5th International Conference on Logic Programming and Automated Reasoning, volume 822 of LNAI, pages 144–158. Springer-Verlag, July 1994.
2. A. Ayari and D. Basin. A higher-order interpretation of deductive tableau. Journal of Symbolic Computation, 31(5):487–520, May 2001.
3. B. Barras, S. Boutin, C. Cornes, J. Courant, Y. Coscoy, D. Delahaye, D. de Rauglaudre, J.-C. Filliâtre, E. Giménez, H. Herbelin, G. Huet, H. Laulhère, C. Muñoz, C. Murthy, C. Parent-Vigouroux, P. Loiseleur, C. Paulin-Mohring, A. Saïbi, and B. Werner. The Coq proof assistant reference manual — version 7.2. Technical Report 0255, INRIA, February 2002.
4. Lect Notes Comput Sci;G. Bauer,2002
5. H. Benl, U. Berger, H. Schwichtenberg, M. Seisenberger, and W. Zuber. Proof theory at work: Program development in the Minlog system. In W. Bibel and P. Schmitt, editors, Automated Deduction — A Basis for Applications, volume II: Systems and Implementation Techniques of Applied Logic Series, pages 41–71. Kluwer Academic Publishers, Dordrecht, 1998.
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献