Automated Complexity Analysis Based on Context-Sensitive Rewriting

Nao Hirokawa and Georg Moser
Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014), Lecture Notes in Computer Science 8560, pp. 257 – 271, 2014.

abstract   BibTeX   PDF   doi:10.1007/978-3-319-08918-8_18  
© Springer International Publishing Switzerland