کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
10225751 690902 2018 18 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Visibly linear dynamic logic
ترجمه فارسی عنوان
منطق پویایی منطقی
کلمات کلیدی
منطق زمانی زبانهای قابل ملاحظه رضایت، چک کردن مدل، بازی های نامتناهی،
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
چکیده انگلیسی
The main technical contribution of this work is a translation of VLDL into ω-visibly pushdown automata of exponential size via one-way alternating jumping automata. This translation yields exponential-time algorithms for satisfiability, validity, and model checking. We also show that visibly pushdown games with VLDL winning conditions are solvable in triply-exponential time. We prove all these problems to be complete for their respective complexity classes.
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 747, 7 November 2018, Pages 100-117
نویسندگان
, ,