Decidability and k-Regular Sequences.

Daniel Krenn Jeffrey O. Shallit

Published in: CoRR (2020)

Keyphrases

description logics
query answering
hidden markov models
computer vision
long sequences
real world
machine learning
artificial intelligence
variable length
decision procedures