WORD PROBLEMS AND RECURSIVELY ENUMERABLE DEGREES OF UNSOLVABILITY . A FIRST PAPER ON THUE SYSTEMS
成果类型：
Article
署名作者：
BOONE, WW
刊物名称：
ANNALS OF MATHEMATICS
ISSN/ISSBN：
0003-486X
DOI：
10.2307/1970478
发表日期：
1966
页码：
520-+
关键词：