On the Hanf Number of Souslin Logic.

John P. Burgess

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

Keyphrases

small number
real time
data sets
machine learning
computational complexity
maximum number
databases
real world
objective function
relational databases
logic programming
computational effort