✦ LIBER ✦

Orienting rewrite rules with the Knuth–Bendix order

✍ Scribed by Konstantin Korovin; Andrei Voronkov

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Categorification, term rewriting and the

✍ Tibor Beke 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 280 KB

Fast Knuth-Bendix completion with a term

✍ Yoshihito Toyama 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 341 KB

About the rewriting systems produced by

✍ Yves Metivier 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 317 KB

Paramodulation and Knuth–Bendix Completi

✍ Miquel Bofill; Guillem Godoy; Robert Nieuwenhuis; Albert Rubio 📂 Article 📅 2003 🏛 Springer Netherlands 🌐 English ⚖ 163 KB

An upper bound on the derivational compl

✍ Dieter Hofbauer 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 177 KB

Odd order groups with the rewriting prop

✍ R. D. Blyth 📂 Article 📅 2002 🏛 Springer 🌐 English ⚖ 186 KB