Полное название | 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 |
С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00