On Termination of Integer Linear Loops - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Joël Ouaknine' in GoogleThis author has not been identified. Look up 'João Sousa Pinto' in GoogleThis author has not been identified. Look up 'James Worrell' in Google

runs on WebDSL