Automata on Infinite Objects and Church’s Problem 论文

1972Regional conference series in mathematics引用 293
DOI
Logic, programming, and type systemsLogic, Reasoning, and KnowledgeComputability, Logic, AI Algorithms
Computability, Logic, AI AlgorithmsLogic, Reasoning, and KnowledgeLogic, programming, and type systems
相关技术:Computability, Logic, AI Algorithms
关系图谱

Automata on Infinite Objects and Church’s Problem · 相关技术

相关技术

Computability, Logic, AI Algorithms