Statistics
Publications
13
Citations
3.4K
H-Index
11
Active since
1956
Affiliations
Hartley Rogers is an author at Massachusetts Institute of Technology specializing in mathematics, computer science, and natural sciences.
Publications per year
1956–1982
13
13
Gödel numberings of partial recursive functions
Hartley Rogers · Journal of Symbolic Logic · 1958 · 273 citations
Certain Logical Reduction and Decision Problems
Hartley Rogers · Annals of Mathematics · 1956 · 38 citations
Computing degrees of unsolvability
Hartley Rogers · Mathematische Annalen · 1959 · 36 citations
1–5 of 13