209 search results - page 14 / 42 » Termination of Priority Rewriting |
67
Voted
IEICET
2010
15 years 12 days ago
2010
40
Voted
CORR
2010
Springer
14 years 12 months ago
2010
Springer
TOPLAS
2011
14 years 8 months ago
2011
106
Voted
JLP
2010
14 years 8 months ago
2010
132
Voted
CADE
2007
Springer
15 years 8 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 ...