Report copyright - On Termination of Integer Linear Loops - people.mpi-sws.orgpeople.mpi-sws.org/~joel/publications/termination-integer-loops15.pdfOn Termination of Integer Linear Loops Jo el Ouaknine
Please pass captcha verification before submit form