Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикации
Гречаник Сергей Александрович
Email:
ORCID: 0000-0001-8575-9689

2019 год
1.  Материал конференции, 2019
Авторы: Гречаник С.А.
Название: Перспективы применения нейронных сетей в суперкомпиляции и насыщении равенствами

2017 год
2.  Препринт ИПМ № 5, Москва, 2017
Авторы: Гречаник С. А.
Название: Полипрограммы как представление множеств функциональных программ и преобразования над ними

2017 год
3.  Диссертация, Москва, 2017
Авторы: Гречаник С. А.
Название: Доказательство свойств функциональных программ методом насыщения равенствами

2017 год
4.  Автореферат диссертации, Москва, 2017
Авторы: Гречаник С. А.
Название: Доказательство свойств функциональных программ методом насыщения равенствами

2013 год
5.  Препринт ИПМ № 70, Москва, 2013
Авторы: Гречаник С. А., Ключников И. Г., Романенко С. А.
Название: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения

2013 год
6.  Препринт ИПМ № 26, Москва, 2013
Авторы: Гречаник С. А.
Название: Суперкомпиляция путём преобразования гиперграфа