Automated Complexity Analysis Based on the Dependency Pair Method

Nao Hirokawa and Georg Moser
Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR 2008), Lecture Notes in Artificial Intelligence 5195, pp. 364 – 380, 2008.

abstract   BibTeX   PDF   doi:10.1007/978-3-540-71070-7_32   Erratum  
© Springer