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