REUCRSION AND ITERATION

被引:12
作者
RICE, HG
机构
关键词
D O I
10.1145/363744.363781
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:114 / &
相关论文
共 4 条
[1]  
ACKERMANN FW, 1928, MATH ANN, V93, P118
[2]  
Goodstein Reuben Louis, 1954, J SYMBOLIC LOGIC, V19, P267
[3]  
KLEENE SC, 1952, INTRODUCTION METAMAT
[4]  
PETER R, 1961, RECURSIVE FUNCTIONE