Polynomial Loops: Beyond Termination

(2020) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Hark, Marcel
Frohn, Florian
Giesl, Jürgen

Identifier