86 search results - page 1 / 18 » Proving Termination of Integer Term Rewriting |
102
Voted
RTA
2009
Springer
15 years 10 months ago
2009
Springer
155
Voted
AMAST
2010
Springer
14 years 10 months ago
2010
Springer
mu-term is a tool which can be used to verify a number of termination properties of (variants of) Term Rewriting Systems (TRSs): termination of rewriting, termination of innermost ...
119
Voted
RTA
2007
Springer
15 years 9 months ago
2007
Springer
The use of automata techniques to prove the termination of string rewrite systems and left-linear term rewrite systems is advocated by Geser et al. in a recent sequence of papers. ...
112
Voted
CADE
2006
Springer
15 years 7 months ago
2006
Springer
120
Voted
JLP
2010
14 years 10 months ago
2010
