Termination of Single-Path Polynomial Loop Programs.

Yi Li

Browse the full ICTAC paper archive.