Unary Primitive Recursive Functions

Details Unary Primitive Recursive Functions Unary Primitive Recursive Functions

2006-03-16

arxiv.org/abs/cs/0603063v3

Computer Science

Symbolic Computation

Scientific paper

10.2178/jsl/1230396909

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 in this area. 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.

Affiliated with

Also associated with

No associations

Rating

Unary Primitive Recursive Functions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Unary Primitive Recursive Functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unary Primitive Recursive Functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-481069