The Half-Levels of the FO2 Alternation Hierarchy.

Lukas Fleischer Manfred Kufleitner Alexander Lauser

Published in: Theory Comput. Syst. (2017)

Keyphrases

lower level
high levels
first order logic
hierarchical structure
data structure
hidden markov models
transitive closure
real time
data sets
search engine
query language
levels of abstraction