![](/img/cover-not-exists.png)
Relative Undecidability in Term Rewriting: I. The Termination Hierarchy
Alfons Geser, Aart Middeldorp, Enno Ohlebusch, Hans ZantemaVolume:
178
Year:
2002
Language:
english
Pages:
31
DOI:
10.1006/inco.2002.3120
File:
PDF, 243 KB
english, 2002