| Полное название | Рыбаков М.Н., Чагрова Л.А. Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени // Программные продукты и системы. 2018. №3. С.591-597. |
| Тип публикации | Статья |
| Язык | Русский |
| URL | https://elibrary.ru/item.asp?id=35560839 |
| Дата публикации | 01.01.1900 |
| РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
| С участием зарубежных ученых |
