Beatty Sequences for a Quadratic Irrational: Decidability and Applications.

Luke Schaeffer Jeffrey O. Shallit Stefan Zorcic

Published in: CoRR (2024)

Keyphrases

description logics
pairwise
hidden markov models
computational complexity
sequential patterns
databases
quadratic function
sequence alignment
pseudorandom
expressive power
spline interpolation
long sequences
sequence analysis
decision procedures
objective function
information retrieval
data mining