|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
О сложности проверки эквивалентности линейных унарных рекурсивных программ над уравновешенными полугруппамитезисы доклада
- Автор: Подымов Владислав Васильевич
- Сборник: Ломоносовские чтения-2024: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
- Серия: «Вычислительная математика и кибернетика»
- Тезисы
- Год издания: 2024
- Издательство: ООО "МАКС Пресс"
- Местоположение издательства: Москва
- Первая страница: 53
- Последняя страница: 55
- Добавил в систему: Подымов Владислав Васильевич