Termination of Polynomial Loops

Frohn, Florian; Hark, Marcel Tobias (Corresponding author); Giesl, Jürgen

Cham, Switzerland : Springer (2020, 2021)
Contribution to a book, Contribution to a conference proceedings

In: Static Analysis : 27th International Symposium, SAS 2020 : Virtual Event, November 18-20, 2020 : Proceedings / Pichardie, David, Sighireanu, Mihaela (Eds.)
Page(s)/Article-Nr.: 89-112