Termination of Polynomial Loops

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

Cham, Switzerland : Springer (2020, 2021)
Buchbeitrag, Beitrag zu einem Tagungsband

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