![](/img/cover-not-exists.png)
Conditional rewrite rules: Confluence and termination
J.A. Bergstra, J.W. KlopVolume:
32
Year:
1986
Language:
english
Pages:
40
DOI:
10.1016/0022-0000(86)90033-4
File:
PDF, 1.94 MB
english, 1986