Details:

Title	Normalized Rewriting: an unified view of Knuth-Bendix completion and Groebner bases computation
Author(s)	Claude Marche
Type	Technical Report, Misc
Abstract	Buchberger's algorithm and Knuth-Bendix completion are two fundamental algorithms used respectively in computer algebra and in equational logic. It has been remarked since 1981 that these two algorithms behave in the same way. We show that this similarity is made explicit by viewing them as two particular instances of a very general completion algorithm: normalized completion.
Length	16
File
Language	English
Year	1995
Edition	0
Translation	No
Refereed	No