ENTSCHEIDUNGSPROBLEM REDUCED TO (UPSIDE-DOWN AEA) CASE

被引：52

作者：

KAHR, AS

MOORE, EF

WANG, H

机构：

来源：

PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA | 1962年 / 48卷 / 03期

关键词：

D O I：

10.1073/pnas.48.3.365

中图分类号：

O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];

学科分类号：

07 ; 0710 ; 09 ;

摘要：

引用

收藏

页码：365 / +

相关论文

共 15 条

[1]

ACKERMANN W, 1954, SOLVABLE CASES DECIS, P85

[2]

ACKERMANN W, 1936, MATH ANN, V112, P420

[3]

ACKERMANN W, SOLVABLE CASES DECIS

[4]

BUCHI JR, 1961, NOT AM MATH SOC, V8, P354

[5]

CHURCH A, 1952, REVUE PHILOSOPHIQUE, V50, P271

[6]

DAVIS M, COMPUTABILITY UNSOLV

[7]

DAVIS M, 1958, COMPUTABILITY UNSOLV, P5

[8]

SCHUTTE K, 1934, MATH ANN, V109, P575

[9]

Skolem T, 1941, ENTRETIENS ZURICH, P25

[10]

SURANYI J, 1959, REDUKTIONSTHEORIE EN, P177