Formal reductions of the general combinatorial decision problem

被引：286

作者：

Post, EL ^{[1
]}

机构：

[1] City Coll, Coll City New York, New York, NY USA

来源：

关键词：

D O I：

10.2307/2371809

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：197 / 215

页数：19

相关论文

共 7 条

[1] An unsolvable problem of elementary number theory [J].

Church, A .

[2]

Godel K., 1931, MONATSHEFTE MATH PHY, V38, P173, DOI DOI 10.1007/BF01700692

[3]

LEWIS CI, 1918, SURVEY SYMBOLIC LOGI, pCH6

[4]

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

[5]

TURING AM, 1936, J SYMBOLIC LOGIC, V1, P103

[6]

1921, B AM MATH SOC, V27, P396

[7]

1921, AM J MATH, V43, P176