| Полное название | Rybakov M., Shkatov D. Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages // Journal of Logic and Computation. 2020. V.30. Issue 7. P.1305-1329. |
| Тип публикации | Статья |
| Язык | Английский |
| URL | https://academic.oup.com/logcom/article-abstract/30/7/1305/5897125?redirectedFrom=fulltext |
| Дата публикации | 01.01.1900 |
|
РИНЦ
RSCI
Перечень ВАК
Web of Science
Scopus
Белый список Исключено из Белого списка |
|
| DOI | http://dx.doi.org/10.1093/logcom/exaa041 |
| Идентификатор Scopus | 2-s2.0-85097029823 |
| Идентификатор Web of Science | WOS:000593085100001 |
| Квартиль | Q1 |
| Уровень в Белом списке | 2 |
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00