Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4 | Sciact - Система учета научной деятельности ИМ СО РАН

Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4 Научная публикация

Журнал

Сибирский математический журнал
ISSN: 0037-4474

Вых. Данные

Год: 2022, Том: 63, Номер: 2, Страницы: 344–359 Страниц : DOI: 10.33048/smzh.2022.63.207

Авторы

Максимова Лариса Львовна ¹ , Юн Вета Федоровна ¹

Организации

1	Институт математики им. С.Л. Соболева СО РАН

Информация о финансировании (1)

Институт математики им. С.Л. Соболева СО РАН

FWNF-2022-0011

Максимова Л.Л. , Юн В.Ф.
Алгоритмы узнавания ограниченной интерполяции над модальной логикой S4
Сибирский математический журнал. 2022. Т.63. №2. С.344–359. DOI: 10.33048/smzh.2022.63.207 РИНЦ

Maksimova L.L. , Yun V.F.
Algorithms for Recognizing Restricted Interpolation over the Modal Logic S4
Siberian Mathematical Journal. 2022. V.63. N2. P.286-298. DOI: 10.1134/S0037446622020070 WOS Scopus РИНЦ OpenAlex

РИНЦ:

50265085

Пока нет цитирований