✦ LIBER ✦

The undecidability of the third order dyadic unification problem

✍ Scribed by Lewis D. Baxter

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of unification in thi

✍ Gerard P. Huet 📂 Article 📅 1973 🏛 Elsevier Science ⚖ 409 KB

The undecidability of the second-order u

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

The undecidability of the second order p

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

The Undecidability of the Semi-unificati

✍ A.J. Kfoury; J. Tiuryn; P. Urzyczyn 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 790 KB

On the Undecidability of Second-Order Un

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

The undecidability of the unification an

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