Рекомендованный список диссертаций по специальности «Теоретические основы информатики», 05.13.17 шифр ВАК
Алгоритмы эффективного вычисления конъюнктивных регулярных путевых запросов в базах полуструктурированных данных2007 год, кандидат физико-математических наук Афонин, Сергей Александрович
Применение итераций конечных языков в алгоритмических задачах теории формальных языков2012 год, кандидат физико-математических наук Алексеева, Анна Геннадьевна
Интерпретационные методы в теории алгоритмических алгебр1996 год, доктор физико-математических наук Суржко, Сергей Васильевич
Алгоритмы антиунификации и их применение для вычисления инвариантов программ2008 год, кандидат физико-математических наук Костылев, Егор Вячеславович
Комбинаторные характеризации формальных языков2010 год, доктор физико-математических наук Шур, Арсений Михайлович