Knuth-Bendix Completion Part 5: KBC Algorithm

In this series of videos, I will go through the paper by A. J. Dick in 1991 on "An Introduction to Knuth-Bendix Completion". This paper aims to provide an informal and intuitive introduction to many of the concepts essential to a clear understanding of Knuth-Bendix Completion. Original paper: https://www.researchgate.net/publication/220460160_An_Introduction_to_Knuth-Bendix_Completion Download the slides (with animation ppt format): https://www.dropbox.com/s/cdjc5u0c00wa5x6/KBC.pptx?dl=0 Download the slides (without animation pdf format): https://www.dropbox.com/s/d2knw0mpzwnmixd/KBC_print.pdf?dl=0