Termination of Polynomial Loops

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

Cham, Switzerland / Springer (2020, 2021) [Buchbeitrag, Beitrag zu einem Tagungsband]

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

Identifikationsnummern