TURING-MACHINES AND THE ENTSCHEIDUNGSPROBLEM

被引：36

作者：

BUCHI, JR

机构：

来源：

关键词：

D O I：

10.1007/BF01470748

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：201 / 213

页数：13

相关论文

共 8 条

[1]

Ackermann W., 1954, SOLVABLE CASES DECIS

[2]

BERNAYS P, 1958, REMARQUES PROBLEME D, V13, P39

[3]

Church A., 1936, J SYMBOLIC LOGIC, V1, P40, DOI DOI 10.2307/2269326

[4]

Turing AM, 1937, P LOND MATH SOC, V43, P544

[5]

Turing AM, 1937, P LOND MATH SOC, V42, P230, DOI 10.1112/plms/s2-42.1.230

[6]

WANG H, 1961, AT&T TECH J, V40, P1

[7]

[No title captured]

[8]

[No title captured]