26 search results - page 6 / 6 » rta 2010 |
RTA
2010
Springer
14 years 19 days ago
2010
Springer
For the whole class of linear term rewriting systems and for each integer k, we define k-bounded rewriting as a restriction of the usual notion of rewriting. We show that the k-bo...