209 search results - page 14 / 42 » Termination of Priority Rewriting |
IEICET
2010
15 years 3 months ago
2010
CORR
2010
Springer
15 years 2 months ago
2010
Springer
TOPLAS
2011
14 years 11 months ago
2011
159
click to vote
CADE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Most methods for termination analysis of term rewrite systems (TRSs) essentially try to find arguments of functions that decrease in recursive calls. However, they fail ...