![](/img/cover-not-exists.png)
Schematization of infinite sets of rewrite rules generated by divergent completion processes
Hélène KirchnerVolume:
67
Year:
1989
Language:
english
Pages:
30
DOI:
10.1016/0304-3975(89)90007-8
File:
PDF, 889 KB
english, 1989