On Ranking Function Synthesis and Termination for Polynomial Programs.

Eike Neumann, Jol Ouaknine, James Worrell

Browse the full CONCUR paper archive.