Analyzing Runtime Complexity via Innermost Runtime Complexity

(2017) [Buchbeitrag, Beitrag zu einem Tagungsband]

[21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning, LPAR-21, 07.05.2017-12.05.2017, Maun, Botswana]
Seite(n): 249-268

Autorinnen und Autoren

Autorinnen und Autoren

Frohn, Florian
Giesl, Jürgen

Identifikationsnummern

  • REPORT NUMBER: RWTH-2017-04279