| Полное название | 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 |
| С участием зарубежных ученых |
