Rewrite rules for CTL*

کد مقاله	کد نشریه	سال انتشار	مقاله انگلیسی	نسخه تمام متن
5778265	1633612	2017	43 صفحه PDF	دانلود رایگان

عنوان انگلیسی مقاله ISI

رایگان برای ایرانیان

کلمات کلیدی

موضوعات مرتبط

مهندسی و علوم پایه ریاضیات منطق ریاضی

پیش نمایش صفحه اول مقاله

ناشر

Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 21, May 2017, Pages 24–56