|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О разрешимости проблемы эквивалентности в одном классе металинейных унарных рекурсивных программстатья
- Авторы: Захаров В.А., Соколова К.А.
- Сборник: Труды IV Международной конференции "Дискретные модели в теории управляющих систем"
- Год издания: 2000
- Место издания: МАКС-Пресс Москва
- Первая страница: 29
- Последняя страница: 31
- Добавил в систему: Захаров Владимир Анатольевич