|
Библиотеки, издания Поиск публикаций | English |
Публикации |
Гречаник Сергей Александрович | |
Email: | |
ORCID: | 0000-0001-8575-9689 |
2019 год |
1. |
Авторы: Название: Перспективы применения нейронных сетей в суперкомпиляции и насыщении равенствами |
2017 год |
2. |
Авторы: Название: Полипрограммы как представление множеств функциональных программ и преобразования над ними |
2017 год |
3. |
Авторы: Название: Доказательство свойств функциональных программ методом насыщения равенствами |
2017 год |
4. |
Авторы: Название: Доказательство свойств функциональных программ методом насыщения равенствами |
2013 год |
5. |
Авторы: , Ключников И. Г., Романенко С. А. Название: Стадированная многорезультатная суперкомпиляция: фильтрация результатов до их порождения |
2013 год |
6. |
Авторы: Название: Суперкомпиляция путём преобразования гиперграфа |