The Upper Semi-Lattice of Degrees of Recursive Unsolvability 论文

1954Annals of Mathematics引用 276
DOI
Computability, Logic, AI Algorithmssemigroups and automata theoryCellular Automata and Applications
Computability, Logic, AI AlgorithmsCellular Automata and Applicationssemigroups and automata theory
相关技术:Computability, Logic, AI Algorithms
关系图谱

The Upper Semi-Lattice of Degrees of Recursive Unsolvability · 作者

E

Emil L. Post

S

S. C. Kleene