Definably complete structures are not pseudo-enumerable.

Antongiulio Fornasiero

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

Keyphrases

inductive inference
real time
image processing
computer vision
decision making
pseudo random number