Knuth–Bendix completion algorithm (Q2835803)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | Knuth–Bendix completion algorithm |
No description defined |
Statements
Identifiers
Sitelinks
Wikipedia(3 entries)
- enwiki Knuth–Bendix completion algorithm
- frwiki Complétion de Knuth-Bendix
- jawiki クヌース・ベンディックス完備化アルゴリズム