![](/img/cover-not-exists.png)
Fast Knuth-Bendix completion with a term rewriting system compiler
Yoshihito ToyamaVolume:
32
Year:
1989
Language:
english
Pages:
4
DOI:
10.1016/0020-0190(89)90026-4
File:
PDF, 341 KB
english, 1989