✦ LIBER ✦

The undecidability of simultaneous rigid E-unification

✍ Scribed by Anatoli Degtyarev; Andrei Voronkov

Book ID: 107948896
Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 559 KB
Volume: 166
Category: Article
ISSN: 0304-3975
DOI: 10.1016/0304-3975(96)00092-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Monadic simultaneous rigid E-unification

✍ Yuri Gurevich; Andrei Voronkov 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 998 KB

We study the monadic case of a decision problem known as simultaneous rigid E-unification. We show its equivalence to an extension of word equations. We prove decidability and complexity results for special cases of this problem. (~

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

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 second-order u

The undecidability of the second-order unification problem

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

The undecidability of unification in thi

The undecidability of unification in third order logic

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

Decidability and complexity of simultane

Decidability and complexity of simultaneous rigid E-unification with one variable and related results

✍ Anatoli Degtyarev; Yuri Gurevich; Paliath Narendran; Margus Veanes; Andrei Voron 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 137 KB