The duality of computation 论文

2000引用 320
DOI
Logic, programming, and type systemsFormal Methods in VerificationLogic, Reasoning, and Knowledge
Logic, Reasoning, and KnowledgeLogic, programming, and type systemsFormal Methods in Verification
相关技术:Formal Methods in Verification
关系图谱

The duality of computation · 相关技术

相关技术

Formal Methods in Verification