EQUIVALENCE OF CERTAIN COMPUTATIONS

被引:19
作者
COOPER, DC
机构
关键词
D O I
10.1093/comjnl/9.1.45
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:45 / &
相关论文
共 5 条
[1]  
BRAFFORT P, 1963, COMPUTER PROGRAMM ED, P33
[2]   RECURSIVE FUNCTIONS OF SYMBOLIC EXPRESSIONS AND THEIR COMPUTATION BY MACHINE, .1. [J].
MCCARTHY, J .
COMMUNICATIONS OF THE ACM, 1960, 3 (04) :184-195
[3]  
MCCARTHY J, 1962, LISP 15 PROGRAMMER M
[4]  
McCarthy J., 1962, IFIP C, P21
[5]  
McCarthy J, 1963, COMPUTER PROGRAMMING, P33, DOI DOI 10.1016/S0049-237X(08)72018-4