Notes on higher-dimensional tarai functions

Details Notes on higher-dimensional tarai functions Notes on higher-dimensional tarai functions

2010-07-03

arxiv.org/abs/1007.0467v2

Computer Science

Discrete Mathematics

Scientific paper

We proved that for every $n\geq 3$, the $n$-dimensional tarai function
terminates with call-by-need. It was also shown that the closed form for the
function suggested by T. Bailey and J. Cowles is correct.

Affiliated with

Also associated with

No associations

Rating

Notes on higher-dimensional tarai 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 Notes on higher-dimensional tarai functions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Notes on higher-dimensional tarai functions will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-402357