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