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 条

[41] PRIMITIVE RECURSIVE SET FUNCTIONS - A FORMULATION WITH APPLICATIONS TO INFINITARY FORMAL SYSTEMS
KARP, C
JOURNAL OF SYMBOLIC LOGIC, 1966, 31 (02) : 294 - &
[42] 2 CONJUGATE PRIMITIVE RECURSIVE PERMUTATIONS NOT CONJUGATE BY A PRIMITIVE RECURSIVE PERMUTATION
FINKELST.M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (01): : 1 - &
[43] REPRESENTATION OF RECURSIVE AND PRIMITIVE RECURSIVE FUNCTIONS AND OR RECURSIVELY-ENUMERABLE PREDICATES OVER QUOTIENT TERM SETS
DEUTSCH, M
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (01): : 1 - 32
[44] On primitive recursive realizabilities
Plisko, Valery
COMPUTER SCIENCE - THEORY AND APPLICATIONS, 2006, 3967 : 304 - 312
[45] A NOTE ON RECURSIVE UNSOLVABILITY OF PRIMITIVE RECURSIVE ARITHMETIC
GRANDY, RE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1966, 17 (01) : 146 - +
[46] On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
Paolini, Luca
Piccolo, Mauro
Roversi, Luca
NEW GENERATION COMPUTING, 2018, 36 (03) : 233 - 256
[47] Fast recursive computation of local axial moments by using primitive kernel functions
Palenichka, RM
PARALLEL COMPUTATION, 1999, 1557 : 596 - 597
[48] THE UNDECIDABILITY OF PATTERN-MATCHING IN CALCULI WHERE PRIMITIVE RECURSIVE FUNCTIONS ARE REPRESENTABLE
DOWEK, G
THEORETICAL COMPUTER SCIENCE, 1993, 107 (02) : 349 - 356
[49] On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions
Luca Paolini
Mauro Piccolo
Luca Roversi
New Generation Computing, 2018, 36 : 233 - 256
[50] ABOUT PRIMITIVE RECURSIVE ALGORITHMS
COLSON, L
THEORETICAL COMPUTER SCIENCE, 1991, 83 (01) : 57 - 69

← 1 2 3 4 5 →