The operator gap theorem in α-recursion theory.

Robert A. Di Paola

Published in: Arch. Math. Log. (1978)

Keyphrases

von neumann
theoretical basis
real time
theoretical framework
data sets
optimal solution
formal theory
learning algorithm
similarity measure
relational databases
complex objects
deductive databases
conceptual framework