![](/img/cover-not-exists.png)
Higher-order rewrite systems and their confluence
Richard Mayr, Tobias NipkowVolume:
192
Year:
1998
Language:
english
Pages:
27
DOI:
10.1016/s0304-3975(97)00143-6
File:
PDF, 1.94 MB
english, 1998