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.
Recursion, a drug discovery startup out of Salt Lake City, Utah has announced a $60 million Series B round, led by Data Collective (DCVC). Recursion started out in 2014 on a mission to identify 100 ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback