Assertion: recursive function | /r/HasProperty | partial functions
Facets:
value: from integers
type: OTHER
Source sentences:
text: General recursive functions are partial functions from integers to integers that can be defined from
text: Partial functions are often used when their exact domain of definition is not known (for example in computability theory, general recursive functions are partial functions from the integers to the integers, and there cannot be any algorithm for deciding whether such partial functions are functions).