Полное название | Rybakov M., Shkatov D. Complexity and expressivity of propositional dynamic logics with finitely many variables // Logic Journal of the IGPL. 2018. V.26. Issue 5. P.539-547. |
Тип публикации | Статья |
Язык | Русский |
URL | |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/10.1093/jigpal/jzy014 |
Идентификатор Scopus | 2-s2.0-85058620519 |
Идентификатор Web of Science | WOS:000452505600005 |
Квартиль | Q1 |
С участием зарубежных ученых |