๐”– Bobbio Scriptorium
โœฆ   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

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES


Simple second-order languages for which
โœ 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