Question: Maple Command for μ-recursive function?

Is there a maple function that implements the semantics of the μ-recursive function (Wikipedia)?

Please Wait...