✦ LIBER ✦

The Undecidability of the Semi-unification Problem

✍ Scribed by A.J. Kfoury; J. Tiuryn; P. Urzyczyn

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of the second-order u

✍ Warren D. Goldfarb 📂 Article 📅 1981 🏛 Elsevier Science 🌐 English ⚖ 774 KB

The undecidability of the third order dy

✍ Lewis D. Baxter 📂 Article 📅 1978 🏛 Elsevier Science ⚖ 348 KB

The undecidability of the second order p

✍ Gilles Amiot 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 397 KB

The undecidability of the unification an

✍ Stephan Heilbrunner; Steffen Hölldobler 📂 Article 📅 1987 🏛 Springer-Verlag 🌐 English ⚖ 662 KB

The unification hierarchy is undecidable

✍ Werner Nutt 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 637 KB

On the Undecidability of Second-Order Un

✍ Jordi Levy; Margus Veanes 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 312 KB