✦ LIBER ✦

The problems of cyclic equality and conjugacy for finite complete rewriting systems

✍ Scribed by Paliath Narendran; Friedrich Otto

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The uniform conjugacy problem for finite

✍ Paliath Narendran; Friedrich Otto; Karl Winklmann 📂 Article 📅 1984 🏛 Elsevier Science ⚖ 405 KB

Finite Complete Rewriting Systems and Fi

✍ Jing Wang 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 162 KB

[Lecture Notes in Computer Science] Rewr

✍ Lescanne, Pierre 📂 Article 📅 1987 🏛 Springer Berlin Heidelberg ⚖ 588 KB

The problem of deciding confluence on a

✍ Friedrich Otto 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 614 KB

[Lecture Notes in Computer Science] Auto

✍ Degano, Pierpaolo; Gorrieri, Roberto; Marchetti-Spaccamela, Alberto 📂 Article 📅 1997 🏛 Springer Berlin Heidelberg ⚖ 732 KB

Complete systems of functions for the ex

✍ Christian Constanda 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 239 KB