On the Decision Problem for Two-Variable First-Order Logic 论文

1997Bulletin of Symbolic Logic引用 324
DOI
Logic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theory
Logic, Reasoning, and KnowledgeLogic, programming, and type systemssemigroups and automata theory
关系图谱

On the Decision Problem for Two-Variable First-Order Logic · 相关文章

暂无数据