کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10332145 687151 2005 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Relaxing monotonicity for innermost termination
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Relaxing monotonicity for innermost termination
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 93, Issue 3, 14 February 2005, Pages 117-123
نویسندگان
,