Termination of Loop Programs with Polynomial Guards.

Bin Wu, Liyong Shen, Zhongqin Bi, Zhenbing Zeng

Browse the full ICCSA paper archive.