PlanetMath:

(more info)

Math for the people, by the people.

Main Menu

Encyclopedia by subject

03D20 - Mathematical logic and foundations :: Computability and recursion theory :: Recursive functions and relations, subrecursive hierarchies

alternative characterizations of recursive functions owned by rspuzio applications of second order recurrence relation formula owned by Wkbj79 characterization of primitive recursive functions of one variable owned by rspuzio examples of simple recurrence relations owned by PrimeFan formula for sequences satisfying second order recurrence relations owned by Wkbj79 pairing function owned by rspuzio primitive recursive function owned by ratboy recurrence relation owned by rspuzio recursive function owned by rspuzio recursive set owned by CWoo
Show empty categories:
[ up \| top ]