Journal of Automated Reasoning, 11 (1), 43--81. Felty, A., and Miller, D. (1988). Specifying theorem provers in a higher-order logic programming language. In Ninth International Conference on Automated Deduction, pp. 61 -- 80 Argonne, IL. Springer-Verlag. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Logic Programming in a Fragment of Intuitionistic Linear Logic - Hodas, Miller (1994) (224 citations) Self-citation (Miller) (Correct)
No context found.
Journal of Automated Reasoning, 11 (1), 43--81. Felty, A., and Miller, D. (1988). Specifying theorem provers in a higher-order logic programming language. In Ninth International Conference on Automated Deduction, pp. 61 -- 80 Argonne, IL. Springer-Verlag.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC