Конгруэнции на термах и унификация
Гавриленко, Юрий Вячеславович, 1993, кандидатская диссертация
Москва
154 стр.
Другие работы по этой специальности
- Методы синтеза и оценки сложности программ с некоторыми структурными ограничениями
Жуков, Владимир Владимирович · 2022 · Канд. наук · ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
- Полнота и выразимость в классах линейных автоматов
Часовских, Анатолий Александрович · 2021 · Докт. наук · ФГБОУ ВО «Московский государственный университет имени М.В. Ломоносова»
- Численные методы оптимизации для задач большой размерности : неточный оракул и прямо-двойственный анализ = : Numerical methods in large-scale optimization : inexact oracle and primal-dual analysis
Двуреченский, Павел Евгеньевич · 2020 · Докт. наук · ФГАОУ ВО «Московский физико-технический институт (национальный исследовательский университет)»
- Новые методы, алгоритмы и теоретические оценки работы алгоритмов в дизайне сетевых элементов = : New methods, algorithms, and theoretical guarantees for algorithms in network element design
Демьянюк, Виталий Юрьевич · 2020 · Канд. наук · ФГАОУ ВО «Национальный исследовательский университет «Высшая школа экономики»
- Простые числа в специальных последовательностях
Шубин, Андрей Витальевич · 2020 · Канд. наук · ФГАОУ ВО «Московский физико-технический институт (национальный исследовательский университет)»