Polynomial Loops: Beyond Termination.

Marcel Hark, Florian Frohn, Jrgen Giesl

Browse the full LPAR paper archive.