| Полное название | Rybakov M., Shkatov D. Undecidability of QLTL and QCTL with two variables and one monadic predicate letter // Логические исследования. 2021. Т.27. №2. С.93-120. |
| Тип публикации | Статья |
| Язык | Английский |
| URL | https://logicalinvestigations.ru/article/view/593 |
| Дата публикации | 01.01.1900 |
|
РИНЦ
RSCI
Перечень ВАК
Web of Science
Scopus
Белый список Исключено из Белого списка |
|
| DOI | http://dx.doi.org/10.21146/2074-1472-2021-27-2-93-120 |
| Идентификатор Scopus | 2-s2.0-85122581047 |
| Квартиль | S |
| Уровень в Белом списке | 2 |
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00