Going Higher in First-Order Quantifier Alternation Hierarchies on Words.

Thomas Place Marc Zeitoun

Published in: CoRR (2017)

Keyphrases

model checking
quantifier elimination
higher order
first order logic
n gram
related words
database
keywords
hierarchical structure
constraint propagation
linguistic information
bayesian networks
cardinality constraints
constraint databases
english words
proper nouns