![](/img/cover-not-exists.png)
Infinite normal forms for non-linear term rewriting systems
Paola Inverardi, Monica NesiVolume:
152
Year:
1995
Language:
english
Pages:
19
DOI:
10.1016/0304-3975(94)00244-6
File:
PDF, 1.24 MB
english, 1995