Полное название | Dudakov S.M. On computational complexity of successor theory with unary transitive closure // Journal of Physics: Conference Series. 2019. V.1202. art.no.12018. |
Тип публикации | Статья |
Язык | Английский |
URL | https://elibrary.ru/item.asp?id=38769157 |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/10.1088/1742-6596/1202/1/012018 |
Идентификатор Scopus | 2-s2.0-85065724056 |
Квартиль | S |
С участием зарубежных ученых |