111
Voted
FSTTCS
2008
Springer
15 years 3 months ago
2008
Springer
For a given (terminating) term rewriting system one can often estimate its derivational complexity indirectly by looking at the proof method that established termination. In this s...