CLASSES OF RECURSIVELY ENUMERABLE SETS AND THEIR DECISION PROBLEMS

被引：316
作者：
RICE, HG
机构：
来源：
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY | 1953年 / 74卷 / MAR期
关键词：
D O I：
10.2307/1990888
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
引用
收藏
页码：358 / 366
页数：9
相关论文
共 8 条
[1]   An unsolvable problem of elementary number theory [J].
Church, A .
AMERICAN JOURNAL OF MATHEMATICS, 1936, 58 :345-363
[2]  
Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692
[3]  
Kleene S., 1938, J SYMBOL LOGIC, V3, P150, DOI DOI 10.2307/2267778
[4]   Recursive predicates and quantifiers [J].
Kleene, S. C. .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1943, 53 (1-3) :41-73
[5]   General recursive functions of natural numbers [J].
Kleene, SC .
MATHEMATISCHE ANNALEN, 1936, 112 :727-742
[6]  
Post E.L., 1944, B AM MATH SOC, V50, P284, DOI [DOI 10.1090/S0002-9904-1944-08111-1, 10.1090/S0002-9904-1944-08111-1]
[7]  
Rosser B., 1936, J SYMBOLIC LOGIC, V1, P87
[8]  
[No title captured]
1