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