| Полное название | Секорин В.С. PSPACE-полнота задачи о корректности программы с циклом // Актуальные проблемы прикладной математики, информатики и механики. Сборник трудов Международной научно-технической конференции. Воронеж: Издательство «Научно-исследовательские публикации», 2017. С.1523-1527. |
| Тип публикации | Статья в трудах конференции |
| Язык | Русский |
| URL | http://www.amm.vsu.ru/conf2017/conf/index.php?page=Doklads |
| ISBN | 978-5-9500319-1-5 |
|
РИНЦ
Перечень ВАК
Web of Science
Scopus
Зарубежное издательство Научно-популярное издание |
|
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00