Encyclopedia  |   World Factbook  |   World Flags  |   Reference Tables  |   List of Lists     
   Academic Disciplines  |   Historical Timeline  |   Themed Timelines  |   Biographies  |   How-Tos     
Your Ad Here
Sponsor by The Tattoo Collection


Knuth-Bendix completion algorithm
Main Page | See live article | Alphabetical index

Knuth-Bendix completion algorithm

The Knuth-Bendix completion algorithm is an algorithm for making a term rewriting system out of an equational system.

This article is a stub. You can help Wikipedia by [ expanding it].