| Полное название | Rybakov M., Shkatov D. On complexity of propositional linear-time temporal logic with finitely many variables // Proceedings of the Annual Conference of the South African Institute of Computer Scientists and Information Technologists. New York: Association for Computing Machinery, 2018. P.313-316. |
| Тип публикации | Статья в трудах конференции |
| Язык | Английский |
| URL | |
| DOI | http://dx.doi.org/10.1145/3278681.3278718 |
| ISBN | 978-1-4503-6647-2 |
| Идентификатор Scopus | 2-s2.0-85058644610 |
| Идентификатор Web of Science | WOS:000515770700036 |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00