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