Polynomial Loops: Beyond Termination

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

(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

Identifier