✦ LIBER ✦

The undecidability of the second-order unification problem

✍ Scribed by Warren D. Goldfarb

Book ID: 107948477
Publisher: Elsevier Science
Year: 1981
Tongue: English
Weight: 774 KB
Volume: 13
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(81)90040-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of the second order p

The undecidability of the second order predicate unification problem

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

On the Undecidability of Second-Order Un

On the Undecidability of Second-Order Unification

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

The undecidability of the third order dy

The undecidability of the third order dyadic unification problem

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

The Undecidability of the Semi-unificati

The Undecidability of the Semi-unification Problem

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

Simple second-order languages for which

Simple second-order languages for which unification is undecidable

✍ William M. Farmer 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 824 KB

Farmer, W.M., Simple second-order languages for which unification is undecidable, Theoretical Computer Science 87 (1991) 25-41. We improve Goldfarb's Theorem on the undecidability of the second-order unification problem. More precisely, we prove that there is a natural number n such that the unifica

The undecidability of unification in thi

The undecidability of unification in third order logic

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