Быстрые алгоритмы проверки эквивалентности программ в моделях с полугрупповой семантикойдиссертация

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Отзыв научного руководителя/консультанта podymov_otziv_n.r..pdf 1,2 МБ 6 марта 2015
2. Отзыв официального оппонента podymov_otzyv_lomazova_ia.pdf 1,8 МБ 13 марта 2015
3. Отзыв официального оппонента podymov_otzyv_bashkin_va.pdf 1,7 МБ 13 марта 2015
4. Отзыв ведущей организации podymov_otzyv_ved_org.pdf 1,3 МБ 13 марта 2015
5. Сведения об официальных оппонентах, включая публикации podymov_info_bashkin.pdf 37,2 КБ 13 марта 2015
6. Сведения об официальных оппонентах, включая публикации podymov_info_lomazova_ia.pdf 38,4 КБ 13 марта 2015
7. Сведения о ведущей организации, включая публикации podymov_info_ved_org.pdf 40,5 КБ 13 марта 2015
8. Автореферат podymov_avtoreferat.pdf 296,0 КБ 17 января 2015
9. Полный текст диссертации Диссертация podymov_dissertacia.pdf 1022,6 КБ 13 декабря 2014