کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
6875429 1441952 2018 22 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
کلمات کلیدی
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
The μ-Calculus Alternation Depth Hierarchy is infinite over finite planar graphs
چکیده انگلیسی
We prove that the Alternation Hierarchy of the Modal μ-Calculus is infinite over finite planar graphs
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 737, 15 August 2018, Pages 40-61
نویسندگان
, ,