An implementation of the knuth-bendix completion procedure
By: Cheng Swee Ng ; supervised by C.D. Walter.
Contributors: Walter, C. D.; Computation.
Publisher: UMIST
Published: 1994
Place of publication: Manchester
Language: eng
Notes: Thesis number: 11762.

Msc.