کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10328473 684031 2013 19 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Binary trees as a computational framework
ترجمه فارسی عنوان
درختهای دودویی به عنوان یک چارچوب محاسباتی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش مقاله
درختهای دودویی به عنوان یک چارچوب محاسباتی
چکیده انگلیسی
The self-contained source code of the paper is available at http://logic.cse.unt.edu/tarau/research/2012/jtypes.hs.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Computer Languages, Systems & Structures - Volume 39, Issue 4, December 2013, Pages 163-181
نویسندگان
, ,