![](/img/cover-not-exists.png)
Proving termination of context-sensitive rewriting by transformation
Salvador LucasVolume:
204
Year:
2006
Language:
english
Pages:
65
DOI:
10.1016/j.ic.2006.07.001
File:
PDF, 620 KB
english, 2006