Joël Ouaknine, João Sousa Pinto, James Worrell. On Termination of Integer Linear Loops. In Piotr Indyk, editor, Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015. pages 957-969, SIAM, 2015. [doi]
@inproceedings{OuakninePW15,
title = {On Termination of Integer Linear Loops},
author = {Joël Ouaknine and João Sousa Pinto and James Worrell},
year = {2015},
doi = {10.1137/1.9781611973730.65},
url = {http://dx.doi.org/10.1137/1.9781611973730.65},
researchr = {https://researchr.org/publication/OuakninePW15},
cites = {0},
citedby = {0},
pages = {957-969},
booktitle = {Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2015, San Diego, CA, USA, January 4-6, 2015},
editor = {Piotr Indyk},
publisher = {SIAM},
isbn = {978-1-61197-373-0},
}