Joël Ouaknine, James Worrell. Decision Problems for Linear Recurrence Sequences. In Alain Finkel, Jérôme Leroux, Igor Potapov, editors, Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Volume 7550 of Lecture Notes in Computer Science, pages 21-28, Springer, 2012. [doi]
Abstract is missing.