کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10325551 | 675458 | 2005 | 50 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Decidability of bounded higher-order unification
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
هوش مصنوعی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: Decidability of bounded higher-order unification Decidability of bounded higher-order unification](/preview/png/10325551.png)
چکیده انگلیسی
It is shown that unifiability of terms in the simply typed lambda calculus with β and η rules becomes decidable if there is a bound on the number of bound variables and lambdas in a unifier in η-expanded β-normal form.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Symbolic Computation - Volume 40, Issue 2, August 2005, Pages 905-954
Journal: Journal of Symbolic Computation - Volume 40, Issue 2, August 2005, Pages 905-954
نویسندگان
Manfred Schmidt-SchauÃ, Klaus U. Schulz,