Полное название | Dudakov S., Karlov B. On Decidability of Theories of Regular Languages // Theory of Computing Systems. 2020 |
Тип публикации | Статья |
Язык | Английский |
URL | https://link.springer.com/article/10.1007%2Fs00224-020-09995-4 |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/10.1007/s00224-020-09995-4 |
Идентификатор Scopus | 2-s2.0-85089386903 |
Идентификатор Web of Science | WOS:000559415200001 |
Квартиль | Q4 |
С участием зарубежных ученых |