Computability and λ-Definability.

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

Keyphrases

fixed point
propositional logic
finite model theory
image processing
social networks
data mining
computer vision
feature selection
image sequences
data structure
computational complexity