Part of the Universitext book series (UTX)
KeywordsInitial Function Partial Function Recursive Function Computable Function Register Program
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
Unable to display preview. Download preview PDF.
© Springer-Verlag London 2009