Giesl, Jürgen; Aschermann, Cornelius; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Hensel, Jera; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René Analyzing program termination and complexity automatically with AProVE. (English) Zbl 1409.68255 J. Autom. Reasoning 58, No. 1, 3-31 (2017). MSC: 68T15 68N15 68Q42 PDFBibTeX XMLCite \textit{J. Giesl} et al., J. Autom. Reasoning 58, No. 1, 3--31 (2017; Zbl 1409.68255) Full Text: DOI
Giesl, Jürgen; Brockschmidt, Marc; Emmes, Fabian; Frohn, Florian; Fuhs, Carsten; Otto, Carsten; Plücker, Martin; Schneider-Kamp, Peter; Ströder, Thomas; Swiderski, Stephanie; Thiemann, René Proving termination of programs automatically with AProVE. (English) Zbl 1409.68256 Demri, Stéphane (ed.) et al., Automated reasoning. 7th international joint conference, IJCAR 2014, held as part of the Vienna summer of logic, VSL 2014, Vienna, Austria, July 19–22, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8562, 184-191 (2014). MSC: 68T15 68N15 68Q42 PDFBibTeX XMLCite \textit{J. Giesl} et al., Lect. Notes Comput. Sci. 8562, 184--191 (2014; Zbl 1409.68256) Full Text: DOI