Полное название Дудаков С.М. Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций // Известия Российской академии наук. Серия математическая. 2025. Т.89. №2. С.3-24.
Тип публикации Статья
Язык Русский
URL https://www.elibrary.ru/item.asp?id=80524397
Дата публикации 25.06.2024
РИНЦ     RSCI     Перечень ВАК     Web of Science     Scopus
Белый список     Исключено из Белого списка    
DOI http://dx.doi.org/10.4213/im9579
EDN http://elibrary.ru/YYALTP
Есть перевод S. M. Dudakov, Problems of algorithmic decidability and axiomatizability of finite subset algebra for binary operations, Izv. Math., 89:2 (2025), 221–241
Год издания перевода 2025
DOI перевода http://dx.doi.org/10.4213/im9579e
Идентификатор Scopus 2-s2.0-105007093862
Квартиль S2
С участием зарубежных ученых
Внесено в базу
05.04.2025 8:14:37