Termination of Polynomial Loops

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

Cham, Switzerland / Springer (2020, 2021) [Contribution to a book, Contribution to a conference proceedings]

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

Identifier