Extensional Rewriting with Sums 论文

2007Lecture notes in computer science引用 303
DOIPDF
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeAdvanced Algebra and Logic
Advanced Algebra and LogicLogic, Reasoning, and KnowledgeLogic, programming, and type systems
关系图谱

Extensional Rewriting with Sums · 相关技术

暂无数据