Полное название 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