31 search results - page 7 / 7 » mu-term: A Tool for Proving Termination of Context-Sensitive... |
AISC
2008
Springer
13 years 7 months ago
2008
Springer
Polynomial interpretations are a standard technique used in almost all tools for proving termination of term rewrite systems (TRSs) automatically. Traditionally, one applies interp...