OpenAlex | Uniform proofs as a foundation for logic programming

Uniform proofs as a foundation for logic programming

Work

Year: 1991

Type: article

Abstract: Miller, D., G. Nadathur, F. Pfenning and A. Scedrov, Uniform proofs as a foundation for logic programming, Annals of Pure and Applied Logic 51 (1991) 125–157. A proof-theoretic characterization of log... more

Source: Annals of Pure and Applied Logic

Authors Dale Miller, Gopalan Nadathur, Frank Pfenning, Andre Scedrov

Institutions University of Pennsylvania, Duke University, Carnegie Mellon University

Cites: 31

Cited by: 584

Related to: 10

FWCI: 21.46

Citation percentile (by year/subfield): 99.98

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Sustainable Development Goal Quality education

Open Access status: hybrid

APC paid (est): $3,390