Posts

This is part of a joint work from the Formal Verification in Blockchain reading group, which consists of Barnabé Monnot, Zhangsheng Lai and myself. [Read More]

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. [Read More]