کد مقاله | کد نشریه | سال انتشار | مقاله انگلیسی | نسخه تمام متن |
---|---|---|---|---|
10225751 | 690902 | 2018 | 18 صفحه PDF | دانلود رایگان |
عنوان انگلیسی مقاله ISI
Visibly linear dynamic logic
ترجمه فارسی عنوان
منطق پویایی منطقی
دانلود مقاله + سفارش ترجمه
دانلود مقاله ISI انگلیسی
رایگان برای ایرانیان
کلمات کلیدی
منطق زمانی زبانهای قابل ملاحظه رضایت، چک کردن مدل، بازی های نامتناهی،
موضوعات مرتبط
مهندسی و علوم پایه
مهندسی کامپیوتر
نظریه محاسباتی و ریاضیات
چکیده انگلیسی
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
Journal: Theoretical Computer Science - Volume 747, 7 November 2018, Pages 100-117
نویسندگان
Alexander Weinert, Martin Zimmermann,