کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
4661575 | 1633435 | 2016 | 29 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Reverse mathematical bounds for the Termination Theorem
ترجمه فارسی عنوان
مرزهای ریاضی معکوس برای قضیه فسخ
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
ریاضیات معکوس ؛ قضیه رمزی؛ قضیه ختم؛ قضیه پاریس هارینگتون
موضوعات مرتبط
مهندسی و علوم پایه
ریاضیات
منطق ریاضی
چکیده انگلیسی
In 2004 Podelski and Rybalchenko expressed the termination of transition-based programs as a property of well-founded relations. The classical proof by Podelski and Rybalchenko requires Ramsey's Theorem for pairs which is a purely classical result, therefore extracting bounds from the original proof is non-trivial task.Our goal is to investigate the termination analysis from the point of view of Reverse Mathematics. By studying the strength of Podelski and Rybalchenko's Termination Theorem we can extract some information about termination bounds.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 12, December 2016, Pages 1213–1241
Journal: Annals of Pure and Applied Logic - Volume 167, Issue 12, December 2016, Pages 1213–1241
نویسندگان
Silvia Steila, Keita Yokoyama,