Analyzing Runtime Complexity via Innermost Runtime Complexity

(2017) [Contribution to a book, Contribution to a conference proceedings]

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

Authors

Authors

Frohn, Florian
Giesl, Jürgen

Identifier

  • REPORT NUMBER: RWTH-2017-04279