Полное название | Дудаков С.М. Проблемы алгоритмической разрешимости и аксиоматизации алгебры конечных подмножеств для бинарных операций // Известия Российской академии наук. Серия математическая. 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