✦ LIBER ✦

Some results on the confluence property of combined Term Rewriting Systems

✍ Scribed by Zhang Xubo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On ground-confluence of term rewriting s

✍ Deepak Kapur; Paliath Narendran; Friedrich Otto 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 983 KB

Relating confluence, innermost-confluenc

✍ M. R. K. Krishna Rao 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 698 KB

Relating confluence, innermost-confluenc

✍ M.R.K. Krishna Rao 📂 Article 📅 1996 🏛 Springer-Verlag 🌐 English ⚖ 145 KB

Decidability of the confluence of finite

✍ Max Dauchet; Thierry Heuillard; Pierre Lescanne; Sophie Tison 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 739 KB

On termination of the direct sum of term

✍ Michael Rusinowitch 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 619 KB

On the efficiency of categorical combina

✍ R. D. Lins 📂 Article 📅 1987 🏛 John Wiley and Sons 🌐 English ⚖ 604 KB