On FO2 Quantifier Alternation over Words.

Manfred Kufleitner Pascal Weil

Published in: MFCS (2009)

Keyphrases

first order logic
keywords
related words
n gram
quantifier elimination
word recognition
machine learning
transitive closure
syntactic categories
data sets
english words
cross language information retrieval
integrity constraints
data integration
co occurrence
search algorithm
databases