Knuth-Bendix algorithm

From Free net encyclopedia

Revision as of 13:16, 12 August 2004; view current revision
←Older revision | Newer revision→
#REDIRECTKnuth-Bendix completion algorithm
Retrieved from "http://www.netipedia.com/index.php/Knuth-Bendix_algorithm"