α-naming and α-speedup theorems.

Barry E. Jacobs

Published in: Notre Dame J. Formal Log. (1979)

Keyphrases

orders of magnitude
real time
neural network
pattern recognition
preprocessing
data model
management system
brute force
digital topology
ordered sets