Abstract syntax and logic programming-Reference-Cited by-同舟云学术

Abstract syntax and logic programming

Published:1992 Issue: Volume: Page:322-337
ISSN:0302-9743
Container-title:Logic Programming
language:
Short-container-title:

Author:

Miller Dale

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-55460-2_24.pdf

Reference24 articles.

1. K. R. Apt and M. H. van Emden. Contributions to the theory of logic programming. Journal of the ACM, 29(3):841–862, 1982.

2. Alonzo Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56–68, 1940.

3. Amy Felty. Specifying and Implementing Theorem Provers in a Higher-Order Logic Programming Language. Ph.D. thesis, University of Pennsylvania, August 1989.

4. Amy Felty. A logic program for transforming sequent proofs to natural deduction proofs. In Peter Schroeder-Heister, editor, Extensions of Logic Programming: International Workshop, Tübingen FRG, December 1989, volume 475 of Lecture Notes in Artificial Intelligence. Springer-Verlag, 1991.

5. Amy Felty and Dale Miller. Specifying theorem provers in a higher-order logic programming language. In Ninth International Conference on Automated Deduction, pages 61–80, Argonne, IL, May 1988. Springer-Verlag.

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

1. Mechanized Metatheory Revisited;Journal of Automated Reasoning;2018-10-04

2. Goal-Oriented Deductions;Handbook of Philosophical Logic;2002

3. Primitive recursion for higher-order abstract syntax;Theoretical Computer Science;2001-09

4. Abstract Syntax for Variable Binders: An Overview;Computational Logic — CL 2000;2000

5. Primitive recursion for higher-order abstract syntax;Lecture Notes in Computer Science;1997