Descriptive complexity of finite structures: Saving the quantifier rank.

Oleg Pikhurko Oleg Verbitsky

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

Keyphrases

space complexity
computational complexity
worst case
decision problems
neural network
information retrieval
genetic algorithm
search engine
computational cost
finite number
lower complexity