DECISION PROBLEM FOR EXPONENTIAL DIOPHANTINE EQUATIONS

被引：147

作者：

DAVIS, M

PUTNAM, H

ROBINSON, J

机构：

来源：

关键词：

D O I：

10.2307/1970289

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：425 / &

共 12 条

[1]

[Anonymous], 1956, J SYMBOLIC LOGIC, V21, P162

[2]

Davis M., 1958, COMPUTABILITY UNSOLV

[3]

DAVIS M, 1958, J SYMBOLIC LOGIC, V23, P183

[4]

Davis Martin, 1953, J SYMBOLIC LOGIC, V18, P33, DOI DOI 10.2307/2266325

[5]

HILBERT D, 1901, B AM MATH SOC, V8, P437

[6]

Hilbert D., 1901, ARCH MATH PHYS, V1, P213

[7]

Hilbert D., 1900, NACHRICHTEN KONIGLIC, P253

[8]

Hilbert David, 1901, ARCH MATH PHYS, V1, p[44, 290]

[9]

KLEENE SC, 1952, INTRODUCTION METAMAT

[10]

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]