کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4636898 | 1340730 | 2006 | 11 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
ریاضیات کاربردی
پیش نمایش صفحه اول مقاله
![عکس صفحه اول مقاله: A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG](/preview/png/4636898.png)
چکیده انگلیسی
This paper presents a new Lambda-Boolean reduction machine for Lambda-Boolean and Lambda-Beta Boolean reductions in the context of Lambda Calculus and introduces the role of Church-Rosser properties and functional computation model in symbolic and algebraic computation with induction. The algorithm which improved for Lambda-Beta Boolean reduction is simulated by the efficient logical programming language Prolog.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Applied Mathematics and Computation - Volume 176, Issue 1, 1 May 2006, Pages 65-75
Journal: Applied Mathematics and Computation - Volume 176, Issue 1, 1 May 2006, Pages 65-75
نویسندگان
Åeref MirasyedioÄlu, Tolga Güyer,