Infinite systems of reductions and Knuth-Bendix orderings
By: by Samuel M.H.W. Perlo-Freeman.
Publisher: typescript
Published: 1996
Place of publication: [s.l.]
Language: eng
Notes: Thesis (Ph.D.) - University of Warwick, 1996.