AN ABSTRACT MACHINE FOR SYMBOLIC COMPUTATION

被引：1

作者：

OVERHEU, DL

机构：

来源：

JOURNAL OF THE ACM | 1966年 / 13卷 / 03期

关键词：

D O I：

10.1145/321341.321354

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

收藏

页码：444 / &

相关论文

共 11 条

[1]

BARNETT MP, 16 MIT COOP COMP LAB

[2]

BOCHENSKI JM, 1959, PRECIS MATHEMATICAL

[3]

CHURCH A, 1941, CALCULI LAMBDACONVER

[4]

Davis M., 1958, COMPUTABILITY UNSOLV

[5]

GILMORE PC, 1963, ABSTRACT COMPUTER LI, P72

[6]

MCCARTHY J, 1960, COMM ACM, V3, P183

[7]

MCCARTHY J, BASIS MATHEMATICAL T, P33

[8]

NEWELL A, 1961, INFORMATION PROCESSI

[9] SYMBOL MANIPULATION BY THREADED LISTS [J].

PERLIS, AJ ;

THORNTON, C .

COMMUNICATIONS OF THE ACM, 1960, 3 (04) :195-204

[10] COMPUTABILITY OF RECURSIVE FUNCTIONS [J].

SHEPHERDSON, JC ;

STURGIS, HE .

JOURNAL OF THE ACM, 1963, 10 (02) :217-&