A complete proof of correctness of the Knuth-Bendix completion algorithm
Gérard HuetVolume:
23
Year:
1981
Language:
english
Pages:
11
DOI:
10.1016/0022-0000(81)90002-7
File:
PDF, 709 KB
english, 1981