Polynomial Loops: Beyond Termination

(2020) [Buchbeitrag, Beitrag zu einem Tagungsband]

Proceedings of LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Seite(n): 279-297

Autorinnen und Autoren

Autorinnen und Autoren

Hark, Marcel
Frohn, Florian
Giesl, Jürgen

Identifikationsnummern