کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10331296 686669 2005 8 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On proving CE-termination of rewriting by size-change termination
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
On proving CE-termination of rewriting by size-change termination
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 93, Issue 4, 28 February 2005, Pages 155-162
نویسندگان
,