A Dependency Pair Framework for Innermost Complexity Analysis of Term Rewrite Systems.

Lars Noschinski, Fabian Emmes, Jrgen Giesl

Browse the full CADE paper archive.