6 search results - page 2 / 2 » trs 2010 |
140
click to vote
RTA
2010
Springer
15 years 7 months ago
2010
Springer
In earlier work, we have shown that for confluent term rewrite systems (TRSs for short), innermost polynomial runtime complexity induces polytime computability of the functions de...