Каталог печатных изданий библиотеки НИУ ВШЭ

eng|rus

Пожалуйста, бронируйте контрольные экземпляры только тех книг, которых нет
в наличии ни в читальных залах, ни в открытом доступе, ни на научном абонементе.
По вопросам доступа к электронному каталогу обращайтесь в
отдел информационных систем и электронных ресурсов Библиотеки

Поиск :

Личный кабинет :

Электронный каталог: Шамканов, Д. С. - A realization theorem for the modal logic of transitive closure K+

Шамканов, Д. С. - A realization theorem for the modal logic of transitive closure K+

Статья
Автор: Шамканов, Д. С.
Известия Российской Академии наук Сер. Математическая: A realization theorem for the modal logic of transitive closure K+
б.г.
ISBN отсутствует

На полку

Статья

Шамканов, Д. С.
A realization theorem for the modal logic of transitive closure K+ / Д. С. Шамканов // Известия Российской Академии наук Сер. Математическая. – 2025. – Т.89, N.2. – С. 189-212.

Труды сотрудников НИУ ВШЭ : Шамканов Д. С.
общий = Математика = mathematics : математическая логика, теория алгоритмов, автоматы, теория множеств = mathematical logic, theory of algorithms, machines, set theory