Author:
Caferra Ricardo,Herment Michel
Reference19 articles.
1. [And91] P.B. Andrews: More on the problem of finding a mapping between clause representation and natural deduction representation, Journal of Automated Reasoning 7 (1991), pp. 285–286.
2. [AHMP92] A. Avron, F.A. Honsell, I.A. Mason, R. Pollack: Using typed lambda calculus to implement formal systems on a machine, Journal of Automated Reasoning 9 (1992), pp. 309–354.
3. [Avr91] A. Avron: Simple consequence relations, Information and Computation 92 (1991), pp. 105–139.
4. [BC87] T. Boy de la Tour, R. Caferra: Proof analogy in interactive theorem proving: a method to use and express it via second order pattern matching, Proc. AAAI-87, Morgan & Kaufmann 1987, pp. 95–99.
5. [CH88] T. Coquand, G. Huet: The calculus of constructions, Information and Computation 76 (1988), pp. 95–120.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献