Second-order quantifiers and the complexity of theories.

John T. Baldwin Saharon Shelah

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

Keyphrases

higher order
worst case
data sets
computer vision
optimal solution
computational cost
computational models