کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
428036 686592 2008 4 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On the fixed-parameter tractability of parameterized model-checking problems
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
On the fixed-parameter tractability of parameterized model-checking problems
چکیده انگلیسی

In this note, we show, through the use of examples, how generic results for proving fixed-parameter tractability which apply to restricted classes of structures can sometimes be more widely applied.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Information Processing Letters - Volume 106, Issue 1, 31 March 2008, Pages 33-36