Comments on: A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems

Comments on: A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems http://www.algosyn.rwth-aachen.de/wp-publications/noschinskiemmesgiesl2011/ hourly 1 http://wordpress.org/?v=3.6.1