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

Thomas Place Marc Zeitoun

Published in: J. ACM (2019)

Keyphrases

quantifier elimination
higher order
n gram
first order logic
related words
higher quality
keywords
english words
fuzzy logic
text documents
hierarchical structure
significantly higher
multiword
linguistic information
functional programming
word meaning