Termination of Polynomial Loops - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florian Frohn, Marcel Hark, Jürgen Giesl. Termination of Polynomial Loops. In David Pichardie, Mihaela Sighireanu, editors, Static Analysis - 27th International Symposium, SAS 2020, Virtual Event, November 18-20, 2020, Proceedings. Volume 12389 of Lecture Notes in Computer Science, pages 89-112, Springer, 2020. [doi]

This author has not been identified. Look up 'Florian Frohn' in GoogleThis author has not been identified. Look up 'Marcel Hark' in GoogleThis author has not been identified. It may be one of the following persons:

Jürgen Giesl

Look up 'Jürgen Giesl' in Google

runs on WebDSL