✦ LIBER ✦

A complete proof of correctness of the Knuth-Bendix completion algorithm

✍ Scribed by Gérard Huet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On the completeness of modular proof sys

✍ S. Ramesh 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 627 KB

Proof method of partial correctness and

✍ Gérard Ferrand; Pierre Deransart 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 951 KB

An elementary proof of the completeness

✍ Dexter Kozen; Rohit Parikh 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 425 KB

A simple proof for the completeness of F

✍ I. Sain 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 181 KB

Proof of a conjecture of Schrage about t

✍ Nicholas G. Hall; Wieslaw Kubiak 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 299 KB

On the completeness of a model of statis

✍ Bach Hu'ng Khang 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 784 KB