|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ФИЦ ПХФ и МХ РАН |
||
Применение алгоритмов проверки эквивалентности для оптимизации программстатья
Дата последнего поиска статьи во внешних источниках: 1 февраля 2021 г.
- Авторы: Захаров В.А., Подымов В.В.
- Журнал: Труды Института системного программирования РАН (электронный журнал)
- Том: 27
- Номер: 4
- Год издания: 2015
- Первая страница: 145
- Последняя страница: 174
- DOI: 10.15514/ISPRAS-2015-27(4)-8
- Добавил в систему: Захаров Владимир Анатольевич