Community driven content discussing all aspects of software development from DevOps to design patterns. Recursion in Java gets a bad rap. Experienced developers shun ...

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.

This is a preview. Log in through your library . Journal Information The Journal of Symbolic Logic (JSL) was founded in 1936 and it has become the leading research journal in the field. It is issued ...