Journal or Publication Title:
Date of publication:
Volume:
ISSN:
Additional Information:
Title:
On Generalized Primitive Recursive String Functions
Other title:
Creator:
Subject:
Elementary mathematics; Arithmetic ; Mathematics
Uncontrolled Keywords:
String function ; Primitive recursive string function ; Superposition ; Alphabetic primitive recursion.
Coverage:
Abstract:
The notion of generalized primitive recursive string function is introduced and relations between such functions and primitive recursive string functions in the usual sense ([1], [2] ) are investigated. It is proved that any generalized primitive recursive string function is everywhere defined if and only if it is a primitive recursive string function in the usual sense.