| Полное название | Rybakov M., Shkatov D. Complexity and Expressivity of Branching- and Alternating-Time Temporal Logics with Finitely Many Variables // Theoretical Aspects of Computing – ICTAC 2018. ICTAC 2018. Lecture Notes in Computer Science, V.11187. Springer, Cham, 2018. P.396-414. |
| Тип публикации | Статья в трудах конференции |
| Язык | Английский |
| URL | |
| DOI | http://dx.doi.org/10.1007/978-3-030-02508-3_21 |
| ISBN | 978-3-030-02507-6 |
| Идентификатор Scopus | 2-s2.0-85055429238 |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00