✦ LIBER ✦

On the Undecidability of Second-Order Unification

✍ Scribed by Jordi Levy; Margus Veanes

Book ID: 112252505
Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 312 KB
Volume: 159
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2000.2877

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

The undecidability of the second-order u

The undecidability of the second-order unification problem

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

The undecidability of the second order p

The undecidability of the second order predicate unification problem

✍ Gilles Amiot 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 397 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

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 Second Order Multi

The Undecidability of Second Order Multiplicative Linear Logic

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