Peter B. Bendix

E437486 UNEXPLORED

Peter B. Bendix is a computer scientist known for co-developing the Knuth–Bendix completion algorithm, a fundamental method in automated theorem proving and term rewriting systems.

Jump to: Referenced by

Referenced by (1)

Full triples — surface form annotated when it differs from this entity's canonical label.

Knuth–Bendix completion algorithm → inventedBy → Peter B. Bendix ⓘ