Uniform proofs as a foundation for logic programming 论文
1991Annals of Pure and Applied Logic引用 575
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification
详细信息
- 发表期刊/会议
- Annals of Pure and Applied Logic
- 发表日期
- 1991-03-01
- 发表年份
- 1991
关键词
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeFormal Methods in Verification