Knuth-Bendix completion algorithm

English

Etymology

Named after Donald Knuth and Peter Bendix.

Proper noun

Knuth-Bendix completion algorithmCategory:English lemmas#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English proper nouns#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English uncountable nouns#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English multiword terms#KNUTHBENDIXCOMPLETIONALGORITHMCategory:English entries with incorrect language header#KNUTHBENDIXCOMPLETIONALGORITHMCategory:Pages with entries#KNUTH-BENDIX%20COMPLETION%20ALGORITHMCategory:Pages with 1 entry#KNUTH-BENDIX%20COMPLETION%20ALGORITHM

  1. (computing theoryCategory:en:Theory of computing#KNUTHBENDIXCOMPLETIONALGORITHM) A semidecision algorithm for transforming a set of equations (over terms) into a confluent term rewriting system. Category:English eponyms#KNUTHBENDIXCOMPLETIONALGORITHM
Category:English eponyms Category:English lemmas Category:English multiword terms Category:English proper nouns Category:English uncountable nouns Category:Pages with 1 entry Category:Pages with entries Category:en:Theory of computing