h1

h2

h3

h4

h5
h6
TY  - CONF
AU  - Hark, Marcel Tobias
AU  - Frohn, Florian
AU  - Giesl, Jürgen
TI  - Polynomial Loops: Beyond Termination
VL  - 73
M1  - RWTH-2020-05743
T2  - EPiC Series in Computing
SP  - 279-297
PY  - 2020
T2  - 23. International Conference on Logic for Programming, Artificial Intelligence and Reasoning
CY  - ,  ()
LB  - PUB:(DE-HGF)7 ; PUB:(DE-HGF)8
DO  - DOI:10.29007/nxv1
UR  - https://publications.rwth-aachen.de/record/791962
ER  -