Login / Signup
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