Analyzing Program Termination and Complexity Automatically with AProVE
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é
- Link zu diesem Datensatz
- https://d-nb.info/111955408X
- Titel
- Analyzing Program Termination and Complexity Automatically with AProVE
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt, Fabian Emmes, Florian Frohn, Carsten Fuhs, Jera Hensel, Carsten Otto, Martin Plücker, Peter Schneider-Kamp, Thomas Ströder, Stephanie Swiderski, René Thiemann
- Autor(en)
-
- 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é
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2016
- Umfang/Format
- Online-Ressource
- ISSN
15730670- DOI
- 10.1007/s10817-016-9388-y
- Online
- https://doi.org/10.1007/s10817-016-9388-y
- Sprache
- eng
- DDC-Klasse(n)
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Journal of automated reasoning
- Enthalten in: Journal of automated reasoning
- Enthalten in: Journal of automated reasoning
- Stand
- 30.01.2026 17:02
- Im Katalog seit
- 06.03.2026