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 条

[31] Symbolic test case generation for primitive recursive functions
Brucker, AD
Wolff, B
FORMAL APPROACHES TO SOFTWARE TESTING, 2005, 3395 : 16 - 32
[32] Primitive recursive selection functions over abstract algebras
Zucker, J. I.
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 595 - 606
[33] Primitive recursive equivalence relations and their primitive recursive complexity
Bazhenov, Nikolay
Ng, Keng Meng
San Mauro, Luca
Sorbi, Andrea
COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2022, 11 (3-4): : 187 - 221
[34] On the Computability of Primitive Recursive Functions by Feedforward Artificial Neural Networks
Kulyukin, Vladimir A.
MATHEMATICS, 2023, 11 (20)
[35] The Ideography of the Logico-Philosophical Treatise and Primitive Recursive Functions
Araujo Lopes, Felipe Oliveira
MANUSCRITO, 2016, 39 (02)
[36] ALPHA-UNION THEOREM AND GENERALIZED PRIMITIVE RECURSIVE FUNCTIONS
JACOBS, BE
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A448 - A448
[37] RECURSIVE PRIMITIVE RECURSIVE DEGREES ARE NOT A LATTICE
MACHTEY, MA
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1086 - &
[38] Primitive recursive selection functions for existential assertions over abstract algebras
Strahm, Thomas
Zucker, Jeffery
JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2008, 76 (02): : 175 - 197
[39] A PROOF-THEORETIC CHARACTERIZATION OF THE PRIMITIVE RECURSIVE SET-FUNCTIONS
RATHJEN, M
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 954 - 969
[40] COMPLEXITY MEASUREMENT OF PRIMITIVE RECURSIVE FUNCTIONS OVER QUOTIENT TERM QUANTITIES
DEUTSCH, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1982, 28 (04): : 345 - 363

← 1 2 3 4 5 →