کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10332908 687939 2013 25 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
On selective unboundedness of VASS
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
On selective unboundedness of VASS
چکیده انگلیسی
► We characterize the complexity of detection problems on vector addition systems. ► We consider place boundedness, regularity detection and reversal-boundedness detection. ► We extend Rackoff ʼs technique to obtain ExpSpace upper bound uniformly.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Computer and System Sciences - Volume 79, Issue 5, August 2013, Pages 689-713
نویسندگان
,