✦ LIBER ✦

Levels of undecidability in rewriting

✍ Scribed by Jörg Endrullis; Herman Geuvers; Jakob Grue Simonsen; Hans Zantema

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Undecidable properties of flat term rewr

✍ Guillem Godoy; Hugo Hernández 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 234 KB

Total Termination of Term Rewriting is U

✍ Hans Zantema 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 537 KB

Relative Undecidability in Term Rewritin

✍ Alfons Geser; Aart Middeldorp; Enno Ohlebusch; Hans Zantema 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 142 KB

Relative Undecidability in Term Rewritin

✍ Alfons Geser; Aart Middeldorp; Enno Ohlebusch; Hans Zantema 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 243 KB

The undecidability of self-embedding for

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

Undecidability of ground reducibility fo

✍ Gregory Kucherov; Michaël Rusinowitch 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 524 KB