First-order Fragments with Successor over Infinite Words.

Jakub Kallas Manfred Kufleitner Alexander Lauser

Published in: STACS (2011)

Keyphrases

mazurkiewicz traces
n gram
first order logic
keywords
higher order
word segmentation
proper nouns
temporal logic
database
data sets
text documents
multiword
real numbers
related words
unknown words
word meaning
artificial intelligence
stochastic dominance