共 8 条
- [2] BASES OF PRIMITIVE-RECURSION CLOSED CLASSES OF FUNCTIONS [J]. DOKLADY AKADEMII NAUK SSSR, 1966, 170 (01): : 45 - &
- [4] RECURSION AND ITERATION ON COOPER ALGEBRAS [J]. DOKLADY AKADEMII NAUK SSSR, 1990, 312 (02): : 265 - 269
- [7] SOME APPLICATION OF COOPER ALGEBRAS TO THE THEORY OF TAIL RECURSION IN LOGIC PROGRAMMING [J]. DOKLADY AKADEMII NAUK SSSR, 1990, 312 (05): : 1033 - 1037