Uniform proofs as a foundation for logic programming

Miller, Dale T.; Nadathur, Gopalan; Pfenning, Frank; Scedrov, Andre

doi:10.1016/0168-0072(91)90068-W

Record: found
Abstract: not found
Article: not found

Uniform proofs as a foundation for logic programming

Author(s): Dale Miller , Gopalan Nadathur , Frank Pfenning , Andre Scedrov

Publication date Created: March 1991

Publication date (Print): March 1991

Journal: Annals of Pure and Applied Logic

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Abstract

Related collections

Author and article information

Journal

Title: Annals of Pure and Applied Logic

Abbreviated Title: Annals of Pure and Applied Logic

ISSN (Print): 01680072

Publication date Created: March 1991

Publication date (Print): March 1991

Volume: 51

Issue: 1-2

Pages: 125-157

Article

DOI: 10.1016/0168-0072(91)90068-W

SO-VID: 8107ad3f-2cf8-41ae-8e8b-a7dca059756d

License:

http://www.elsevier.com/tdm/userlicense/1.0/

History

Data availability:

Uniform proofs as a foundation for logic programming

Read this article at

Abstract

Related collections

Smart Contracts Programming Languages

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 495

Cited by 65