Joël Ouaknine. Decision Problems for Linear Recurrence Sequences. In Laura Kovács, Temur Kutsia, editors, 5th International Symposium on Symbolic Computation in Software Science, SCSS 2013. Volume 15 of EPiC Series, pages 3, EasyChair, 2013. [doi]
@inproceedings{Ouaknine13-2,
title = {Decision Problems for Linear Recurrence Sequences},
author = {Joël Ouaknine},
year = {2013},
url = {http://www.easychair.org/publications/?page=832742538},
researchr = {https://researchr.org/publication/Ouaknine13-2},
cites = {0},
citedby = {0},
pages = {3},
booktitle = {5th International Symposium on Symbolic Computation in Software Science, SCSS 2013},
editor = {Laura Kovács and Temur Kutsia},
volume = {15},
series = {EPiC Series},
publisher = {EasyChair},
}