Полное название | Sekorin V. Undecidability of Unary Unnested PFP-operators for One Successor // 2023 Applied Mathematics, Computational Science and Mechanics: Current Problems (AMCSM). IEEE, 2023. . |
Тип публикации | Статья в трудах конференции |
Язык | Английский |
URL | https://ieeexplore.ieee.org/document/10525943 |
DOI | http://dx.doi.org/10.1109/AMCSM59829.2023.10525943 |
Идентификатор Scopus | 2-s2.0-85194826417 |
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
С участием зарубежных ученых |
Внесено в базу
26.06.2024 13:32:50