Existential Definability over the Subword Ordering.

Pascal Baumann Moses Ganardi Ramanathan S. Thinniyam Georg Zetzsche

Published in: STACS (2022)

Keyphrases

fixed point
n gram
propositional logic
partial ordering
artificial intelligence
shows a significant improvement
query answering
broadcast news
multi valued
knuth bendix
database
existentially quantified
partial order
natural language processing
image sequences
information systems
data mining