Existential Definability over the Subword Ordering.

Pascal Baumann Moses Ganardi Ramanathan S. Thinniyam Georg Zetzsche

Published in: Log. Methods Comput. Sci. (2023)

Keyphrases

fixed point
n gram
propositional logic
query answering
real time
neural network
speech recognition
genetic algorithm