✦ LIBER ✦

Counterexamples to termination for the direct sum of term rewriting systems

✍ Scribed by Yoshihito Toyama

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On termination of the direct sum of term

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

Overlap closures do not suffice for term

✍ Xubo Zhang 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 313 KB

The size-change principle and dependency

✍ René Thiemann; Jürgen Giesl 📂 Article 📅 2005 🏛 Springer 🌐 English ⚖ 406 KB

The undecidability of self-embedding for

✍ David A. Plaisted 📂 Article 📅 1985 🏛 Elsevier Science 🌐 English ⚖ 306 KB

Character sum analogues of constant term

✍ Ronald J. Evans 📂 Article 📅 1983 🏛 The Hebrew University Magnes Press 🌐 English ⚖ 239 KB

A Class of Counterexamples to Jeans' The

✍ Jack Schaeffer 📂 Article 📅 1999 🏛 Springer 🌐 English ⚖ 89 KB