Полиномиальная вычислимость в семантическом программировании
Нечесов, Андрей Витальевич, 2022, кандидатская диссертация
ФГБУН Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук ; Диссовет Д 003.015.XX (24.1.074.02), Новосибирск
80 стр.
Ключевые слова
семантическое программирование
Другие работы по этой специальности
- О гомологических свойствах нильпотентных алгебр Ли и лиевых функторов
Романовский, Владислав Романович · 2026 · Канд. наук · Санкт-Петербургское отделение Математического института им. В.А. Стеклова Российской академии наук ; Диссовет 24.1.207.01 (Д 002.202.XX)
- Полигоны с условиями на решётку конгруэнций
Пряничников, Алексей Михайлович · 2026 · Канд. наук · «Московский государственный университет имени М.В. Ломоносова» ; Диссовет МГУ.011.4-1
- Сложность проблемы сюръективного гомоморфизма для циклов
Корчагин, Никита Павлович · 2026 · Канд. наук · «Московский государственный университет имени М.В. Ломоносова» ; Диссовет МГУ.011.4-1
- Построение бесконечной конечно определенной нильполугруппы
Иванов-Погодаев, Илья Анатольевич · 2026 · Докт. наук · Московский государственный университет имени М.В. Ломоносова ; Диссовет МГУ.011.4-1
- Модули, близкие к проективным и инъективным
Буй Тиен Дат · 2026 · Канд. наук · Казанский (Приволжский) федеральный университет ; Диссовет КФУ.011.2