Shaull Almagor, Toghrul Karimov, Edon Kelmendi, Joël Ouaknine, James Worrell 0001. Deciding ω-regular properties on linear recurrence sequences. Proceedings of the ACM on Programming Languages, 5(POPL):1-24, 2021. [doi]
No reviews for this publication, yet.