Analyzing Runtime Complexity via Innermost Runtime Complexity

Frohn, Florian (Corresponding author); Giesl, Jürgen (Corresponding author)

(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

Identifier

  • REPORT NUMBER: RWTH-2017-04279