UNARY PRIMITIVE RECURSIVE FUNCTIONS

Severin DE

首页> 外文期刊>Journal of Symbolic Logic >UNARY PRIMITIVE RECURSIVE FUNCTIONS

【24h】

UNARY PRIMITIVE RECURSIVE FUNCTIONS

机译：一元原始递归函数

获取原文

获取原文并翻译 | 示例

掌桥外文数据库（机构版） >>

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this article. We study, some new characterizations of primitive recursive functions based on restricted forms of primitive recursion. improving the pioneering work of R. M. Robinson and M. D. Gladstone. We reduce certain recursion schemes (mixed/pure iteration without parameters) and we characterize one-argument primitive recursive functions as the closure under substitution and iteration of certain optimal sets.

机译：在这篇文章中。我们研究了基于原始递归的受限形式的原始递归函数的一些新特征。改进R. M. Robinson和M. D. Gladstone的开拓性工作。我们减少某些递归方案（不带参数的混合/纯迭代），并将一元参数原始递归函数表征为某些最佳集的替换和迭代下的闭包。

著录项

来源
《Journal of Symbolic Logic》 |2008年第4期|共17页
作者
Severin DE;
展开▼
作者单位

展开▼
收录信息
原文格式 PDF
正文语种 eng
中图分类概率论与数理统计;
关键词
unary; primitive recursive; recursion scheme; reduction; ITERATION; SCHEME;

机译：一元;原始递归;递归方案;归约;迭代;方案;

相似文献

外文文献
中文文献
专利

1. UNARY PRIMITIVE RECURSIVE FUNCTIONS [J] . Severin DE Journal of Symbolic Logic . 2008,第4期

机译：一元原始递归函数
2. On a Class of Reversible Primitive Recursive Functions and Its Turing-Complete Extensions [J] . Luca Paolini, Mauro Piccolo, Luca Roversi New Generation Computing . 2018,第3期

机译：关于一类可逆的原始递归函数及其图灵完备的扩展
3. A Survey of Classes of Primitive Recursive Functions [J] . Stephen A. Cook Electronic Colloquium on Computational Complexity . 2017,第136期

机译：原始递归函数类的概述
4. Invariance of Function Complexity Under Primitive Recursive Functions [C] . John R. Woodward European Conference on Genetic Programming . 2006

机译：原始递归函数下功能复杂性的不变性
5. The ZARF Architecture for Recursive Functions [D] . McMahan, Joseph Earl. 2019

机译：用于递归函数的ZARF架构
6. A recursive vesicle-based model protocell with a primitive model cell cycle [O] . Kensuke Kurihara, Yusaku Okura, Muneyuki Matsuo, -1

机译：具有原始模型细胞周期的基于递归囊泡的模型原型细胞
7. A Hierarchy of Unary Primitive Recursive String-functions [O] . Lila Santean 2014

机译：一元原始递归字符串函数的层次结构
8. Two Conjugate Primitive Recursive Permutations Not Conjugate by a Primitive Recursive Permutation [R] . Finkelstein, M. 1969

机译：两个共轭原始递归排列不是由原始递归排列共轭的

UNARY PRIMITIVE RECURSIVE FUNCTIONS

摘要

著录项

相似文献

相关主题

期刊订阅