209 search results - page 14 / 42 » Termination of Priority Rewriting |
IEICET
2010
13 years 6 months ago
2010
CORR
2010
Springer
13 years 5 months ago
2010
Springer
TOPLAS
2011
13 years 2 months ago
2011
JLP
2010
13 years 2 months ago
2010
CADE
2007
Springer
14 years 1 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 ...