3 search results - page 1 / 1 » Introduction to Rewriting |
112
click to vote
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. ...
81
Voted
LFCS
1997
Springer
15 years 7 months ago
1997
Springer
AC
1993
Springer
15 years 7 months ago
1993
Springer
