RECURSIVE UNSOLVABILITY OF POSTS PROBLEM OF TAG AND OTHER TOPICS IN THEORY OF TURING MACHINES
成果类型：
Article
署名作者：
MINSKY, ML
刊物名称：
ANNALS OF MATHEMATICS
ISSN/ISSBN：
0003-486X
DOI：
10.2307/1970290
发表日期：
1961
页码：
437-+
关键词：