DARBOUX PROPERTY AND PRIMITIVE RECURSIVE FUNCTIONS

被引：0

作者：

CALUDE, C ^{[1
]}

机构：

[1] UNIV BUCHAREST,FAC MATH,BUCHAREST,ROMANIA

来源：

REVUE ROUMAINE DE MATHEMATIQUES PURES ET APPLIQUEES | 1981年 / 26卷 / 09期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

页码：1187 / 1192

页数：6

共 50 条

[41] Primitive recursive selection functions over abstract algebras
Zucker, J. I.
LOGICAL APPROACHES TO COMPTATIONAL BARRIERS, PROCEEDINGS, 2006, 3988 : 595 - 606
[42] 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
[43] FUNCTIONS HAVING THE DARBOUX PROPERTY AND SATISFYING SOME FUNCTIONAL EQUATION
Jablonska, Eliza
COLLOQUIUM MATHEMATICUM, 2009, 114 (01) : 113 - 118
[44] On the Computability of Primitive Recursive Functions by Feedforward Artificial Neural Networks
Kulyukin, Vladimir A.
MATHEMATICS, 2023, 11 (20)
[45] The Ideography of the Logico-Philosophical Treatise and Primitive Recursive Functions
Araujo Lopes, Felipe Oliveira
MANUSCRITO, 2016, 39 (02)
[46] ALPHA-UNION THEOREM AND GENERALIZED PRIMITIVE RECURSIVE FUNCTIONS
JACOBS, BE
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1976, 23 (04): : A448 - A448
[47] RECURSIVE PRIMITIVE RECURSIVE DEGREES ARE NOT A LATTICE
MACHTEY, MA
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1971, 18 (07): : 1086 - &
[48] 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
[49] A PROOF-THEORETIC CHARACTERIZATION OF THE PRIMITIVE RECURSIVE SET-FUNCTIONS
RATHJEN, M
JOURNAL OF SYMBOLIC LOGIC, 1992, 57 (03) : 954 - 969
[50] 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 →