Polynomial Loops: Beyond Termination

Hark, Marcel; Frohn, Florian; Giesl, Jürgen

(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

Identifikationsnummern