Login / Signup
Deciding ω-regular properties on linear recurrence sequences.
Shaull Almagor
Toghrul Karimov
Edon Kelmendi
Joël Ouaknine
James Worrell
Published in:
Proc. ACM Program. Lang. (2021)
Keyphrases
</>
physico chemical
desirable properties
closed form
topological properties
structural properties
expert systems
multiresolution
hidden markov models
databases
sequential patterns
search algorithm
case study
piecewise linear
website
linear complexity
long sequences
neural network