Nominal logic, a first order theory of names and binding 论文

2003Information and Computation引用 416
DOI
Logic, programming, and type systemsLogic, Reasoning, and Knowledgesemigroups and automata theory
Logic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theory
关系图谱

Nominal logic, a first order theory of names and binding · 相关文章

暂无数据