Uniform proofs as a foundation for logic programming 论文

1991Annals of Pure and Applied Logic引用 575
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

Uniform proofs as a foundation for logic programming · 作者

A

Andre Scedrov

F

Frank Pfenning

G

Gopalan Nadathur

D

Dale Miller