Some Results in Church's Restricted Recursive Arithmetic.

Published in: J. Symb. Log. (1957)

Keyphrases

arithmetic operations
data sets
databases
computer vision
recursive queries
real world
video sequences
relational databases
special case
recursive functions
iterative refinement