Building proofs by analogy via the Curry-Howard Isomorphism-Reference-Cited by-同舟云学术

Building proofs by analogy via the Curry-Howard Isomorphism

Published:1992 Issue: Volume: Page:202-213
ISSN:0302-9743
Container-title:Logic Programming and Automated Reasoning
language:
Short-container-title:

Author:

de la Tour Thierry Boy,Kreitz Christoph

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0013062

Reference16 articles.

1. B. Brock, S. Cooper, and W. Pierce. Analogical reasoning and proof discovery. In Proc. CADE-9, LNCS 310, pages 454–468. Springer Verlag, 1988.

2. T. Boy de la Tour and R. Caferra. Proof analogy in interactive theorem proving: A method to express and use it via second order matching. In Proc. AAAI-S7, pages 95–99. Morgan Kaufmann, 1987.

3. T. Boy de la Tour and R. Caferra. A formal approach to some usually informal techniques used in mathematical reasoning. In Proc. Int'l Symposium on Symbolic and Algebraic Computation, pages 402–406. LNCS 358, Springer, 1988.

4. R. L. Constable et.al. Implementing Mathematics with the NuPRL proof development system. Prentice Hall, Englewood Cliffs, NJ, 1986.

5. H. B. Curry, R. Feys, and W. Craig. Combinatory Logic, volume 1. North-Holland, Amsterdam, 1958.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Analogy in Automated Deduction: A Survey;Computational Approaches to Analogical Reasoning: Current Trends;2014

2. Partial matching for analogy discovery in proofs and counter-examples;Automated Deduction—CADE-14;1997

3. Building proofs or counterexamples by analogy in a resolution framework;Logics in Artificial Intelligence;1996