| Полное название | Дудаков С.М., Карлов Б.Н., Кузнецов С.Л., Фофанова Е.М. Сложность исчислений Ламбека с модальностями и тотальной выводимости в грамматиках // Алгебра и логика. 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 |
| Уровень в Белом списке | 2 |
| С участием зарубежных ученых |
Внесено в базу
01.01.1900 0:00:00