|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
О сложности верификации конечных автоматов-преобразователей над свободными полугруппамитезисы доклада
- Авторы: Захаров В.А., Гнатенко А.Р.
- Сборник: "Тихоновские чтения": научная конференция: тезисы докладов
- Тезисы
- Год издания: 2019
- Место издания: МаксПресс Москва
- Первая страница: 91
- Последняя страница: 91
- Добавил в систему: Врагова Елена Юрьевна