论文信息 - Machine Configuration and Word Problems of Given Degree of Unsolvability - 字舞流文

Machine Configuration and Word Problems of Given Degree of Unsolvability

J. C. Shepherdson | J. Shepherdson

[1] M. Newman. On Theories with a Combinatorial Definition of "Equivalence" , 1942 .

[2] Emil L. Post,et al. The Upper Semi-Lattice of Degrees of Recursive Unsolvability , 1954 .

[3] Emil L. Post. Recursive Unsolvability of a problem of Thue , 1947, Journal of Symbolic Logic.

[4] Hao Wang. Tag systems and lag systems , 1963 .

[5] John C. Shepherdson,et al. Computability of Recursive Functions , 1963, JACM.

[6] A. Turing. On Computable Numbers, with an Application to the Entscheidungsproblem. , 1937 .

[7] William W. Boone,et al. Partial results regarding word problems and recursively enumerable degrees of unsolvability , 1962 .