EXTENDED PRIMITIVE RECURSIVE FUNCTIONS

被引：0

作者：

MENTRASTI, P ^{[1
]}

PROTASI, M ^{[1
]}

机构：

[1] CNR,IASI,I-00131 ROME,ITALY

来源：

RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1982年 / 16卷 / 01期

关键词：

D O I：

暂无

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：73 / 84

页数：12

共 50 条

[1] PRIMITIVE RECURSIVE FUNCTIONS
ROBINSON, RM
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1947, 53 (10) : 925 - 942
[2] PRIMITIVE RECURSIVE FUNCTIONS
ROBINSON, RM
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY, 1946, 52 (09) : 811 - 812
[3] HIERARCHIES OF PRIMITIVE RECURSIVE FUNCTIONS
PARSONS, C
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1968, 14 (04): : 357 - &
[4] UNARY PRIMITIVE RECURSIVE FUNCTIONS
Severin, Daniel E.
JOURNAL OF SYMBOLIC LOGIC, 2008, 73 (04) : 1122 - 1138
[5] PRIMITIVE RECURSIVE RAMIFICATION FUNCTIONS
PAIR, C
QUERE, A
ACTA MATHEMATICA ACADEMIAE SCIENTIARUM HUNGARICAE, 1970, 21 (3-4): : 437 - &
[6] UNIVERSAL SEQUENCES OF PRIMITIVE RECURSIVE FUNCTIONS
CALUDE, C
TATARAM, M
REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1983, 28 (05): : 381 - 389
[7] A MACRO PROGRAM FOR THE PRIMITIVE RECURSIVE FUNCTIONS
LEVITZ, H
NICHOLS, W
SMITH, RF
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1991, 37 (02): : 121 - 124
[8] DARBOUX PROPERTY AND PRIMITIVE RECURSIVE FUNCTIONS
CALUDE, C
REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES, 1981, 26 (09): : 1187 - 1192
[9] A Class of Reversible Primitive Recursive Functions
Paolini, Luca
Piccolo, Mauro
Roversi, Luca
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2016, 322 : 227 - 242
[10] HIERARCHY OF PRIMITIVE RECURSIVE SEQUENCE FUNCTIONS
FACHINI, E
MAGGIOLOSCHETTINI, A
RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1979, 13 (01): : 49 - 67