Merkliste 
 1 Ergebnisse 
 
1

Non-polynomial Worst-Case Analysis of Recursive Programs:

Chatterjee, Krishnendu ; Fu, Hongfei ; Goharshady, Amir Kafshdar
ACM Transactions on Programming Languages and Systems (TOPLAS).  41 (2019)  4 - p. 1-52 , 2019