ВМК МГУ
Опубликовано на ВМК МГУ (https://cs.msu.ru)

Главная > Проблема эквивалентности программ: модели, алгоритмы, сложность

Проблема эквивалентности программ: модели, алгоритмы, сложность

Тип работы: 
Докторская диссертация
Соискатель: 

Захаров Владимир Анатольевич

Специальность: 
01.01.09 — дискретная математика и математическая кибернетика
Шифр совета: 
Д 501.001.44
Контактные данные совета: 
119991, Москва, ГСП-1, Ленинские Горы,
Московский государственный университет имени М.В.Ломоносова,
Диссертационный совет Д 501.001.44
тел.: +7 (495) 939-30-10
Дата защиты: 
02.03.2012 - 11:00
Файлы: 
ВложениеРазмер
Иконка PDF 201112-zva.pdf337.67 КБ
Председатель диссертационного совета ____________________________________ проф. А.А. Васин

Ученый секретарь диссертационного совета _________________________________ доц. О.В. Шестаков

Источник:https://cs.msu.ru/theses/379