On Termination of Integer Linear Loops
DOI10.1137/1.9781611973730.65zbMath1372.68065arXiv1407.1891OpenAlexW2951018967MaRDI QIDQ5363097
Joao Sousa-Pinto, Joël Ouaknine, James Worrell
Publication date: 5 October 2017
Published in: Proceedings of the Twenty-Sixth Annual ACM-SIAM Symposium on Discrete Algorithms (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1407.1891
Decidability (number-theoretic aspects) (11U05) Loops, quasigroups (20N05) Semialgebraic sets and related spaces (14P10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Applications of commutative algebra (e.g., to statistics, control theory, optimization, etc.) (13P25)
Related Items (15)
This page was built for publication: On Termination of Integer Linear Loops