✦ LIBER ✦

The undecidability of unification in third order logic

✍ Scribed by Gerard P. Huet

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of the third order dy

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

On the Undecidability of Second-Order Un

✍ Jordi Levy; Margus Veanes 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 312 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 Second Order Multi

✍ Yves Lafont; Andre Scedrov 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 318 KB

The Undecidability of the Semi-unificati

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