Existential Definability over the Subword Ordering.

Pascal Baumann Moses Ganardi Ramanathan S. Thinniyam Georg Zetzsche

Published in: CoRR (2022)

Keyphrases

fixed point
propositional logic
n gram
partial order
spoken document retrieval
database
data sets
databases
neural network
speech recognition