学术探索
学术期刊
新闻热点
数据分析
智能评审
立即登录
UNIVERSALITY OF TAG SYSTEMS WITH P EQUALS 2
被引:52
作者
:
COCKE, J
论文数:
0
引用数:
0
h-index:
0
COCKE, J
MINSKY, M
论文数:
0
引用数:
0
h-index:
0
MINSKY, M
机构
:
来源
:
JOURNAL OF THE ACM
|
1964年
/ 11卷
/ 01期
关键词
:
D O I
:
10.1145/321203.321206
中图分类号
:
TP3 [计算技术、计算机技术];
学科分类号
:
0812 ;
摘要
:
引用
收藏
页码:15 / &
相关论文
共 5 条
[1]
MINSKY M, 1962, P S RECURSIVE FUNCTI
[2]
RECURSIVE UNSOLVABILITY OF POSTS PROBLEM OF TAG AND OTHER TOPICS IN THEORY OF TURING MACHINES
[J].
MINSKY, ML
论文数:
0
引用数:
0
h-index:
0
MINSKY, ML
.
ANNALS OF MATHEMATICS,
1961,
74
(03)
:437
-+
[3]
COMPUTABILITY OF RECURSIVE FUNCTIONS
[J].
SHEPHERDSON, JC
论文数:
0
引用数:
0
h-index:
0
SHEPHERDSON, JC
;
STURGIS, HE
论文数:
0
引用数:
0
h-index:
0
STURGIS, HE
.
JOURNAL OF THE ACM,
1963,
10
(02)
:217
-&
[4]
A VARIANT TO TURINGS THEORY OF COMPUTING MACHINES
[J].
WANG, H
论文数:
0
引用数:
0
h-index:
0
WANG, H
.
JOURNAL OF THE ACM,
1957,
4
(01)
:63
-92
[5]
WANG H, TO APPEAR
←
1
→
共 5 条
[1]
MINSKY M, 1962, P S RECURSIVE FUNCTI
[2]
RECURSIVE UNSOLVABILITY OF POSTS PROBLEM OF TAG AND OTHER TOPICS IN THEORY OF TURING MACHINES
[J].
MINSKY, ML
论文数:
0
引用数:
0
h-index:
0
MINSKY, ML
.
ANNALS OF MATHEMATICS,
1961,
74
(03)
:437
-+
[3]
COMPUTABILITY OF RECURSIVE FUNCTIONS
[J].
SHEPHERDSON, JC
论文数:
0
引用数:
0
h-index:
0
SHEPHERDSON, JC
;
STURGIS, HE
论文数:
0
引用数:
0
h-index:
0
STURGIS, HE
.
JOURNAL OF THE ACM,
1963,
10
(02)
:217
-&
[4]
A VARIANT TO TURINGS THEORY OF COMPUTING MACHINES
[J].
WANG, H
论文数:
0
引用数:
0
h-index:
0
WANG, H
.
JOURNAL OF THE ACM,
1957,
4
(01)
:63
-92
[5]
WANG H, TO APPEAR
←
1
→