Полное название | Дудаков С.М., Карлов Б.Н., Кузнецов С.Л., Фофанова Е.М. Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках // Алгебра и логика. 2021. Т.60. №5. С.471-596. |
Тип публикации | Статья |
Язык | Русский |
URL | https://elibrary.ru/item.asp?id=47280197 |
Дата публикации | 01.01.1900 |
РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
DOI | http://dx.doi.org/10.1007/s10469-021-09657-5 |
Есть перевод | Dudakov S.M., Karlov B.N., Kuznetsov S.L., Fofanova E.M. Complexity of Lambek Calculi with Modalities and of Total Derivability in Grammars // Algebra and Logic. 2021. V.60. P.308–326 |
Год издания перевода | 2021 |
DOI перевода | |
Идентификатор Scopus | 2-s2.0-85120537435 |
Идентификатор Web of Science | WOS:000725412800003 |
Квартиль | Q2 |
С участием зарубежных ученых |