ISSN: 2310-757X
Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://elar.urfu.ru/handle/10995/83662| Название: | Synchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17 |
| Другие названия: | Синхронизация частичных и недетерминированных автоматов: подход на основе sat-решателей : диссертация на соискание ученой степени кандидата физико-математических наук : 05.13.17 |
| Авторы: | Shabana, H. M. D. |
| Научный руководитель: | Volkov, M. V. |
| Дата публикации: | 2020 |
| Издатель: | б. и. |
| Библиографическое описание: | Shabana H. M. D. Synchronization of partial and non-deterministic automata: a sat-based approach : dissertation for the degree of candidate of physical and mathematical sciences : 05.13.17 / H. M. D. Shabana ; [Place of defense: Ural Federal University named after the first President of Russia B.N. Yeltsin]. — Yekaterinburg, 2020. — 161 p. — Bibliography: pp. 148-158 (91 titles). |
| Ключевые слова: | NONDETERMINISTIC AUTOMATON RANDOM AUTOMATON SAT SATSOLVER ДИССЕРТАЦИИ ТЕОРЕТИЧЕСКИЕ ОСНОВЫ ИНФОРМАТИКИ |
| Код специальности ВАК: | 05.13.17 |
| Специальность: | Теоретические основы информатики |
| URI: | http://elar.urfu.ru/handle/10995/83662 |
| Условия доступа: | Предоставлено автором на условиях простой неисключительной лицензии |
| Текст лицензии: | http://elar.urfu.ru/handle/10995/31613 |
| Располагается в коллекциях: | Авторефераты и диссертации |
Файлы этого ресурса:
| Файл | Описание | Размер | Формат | |
|---|---|---|---|---|
| urfu2147_d.pdf | 2,32 MB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.