PSPACE-decidability of Japaridze"s Polymodal Logic. Advances in Modal Logic - Volume 7, pages 289-304. King"s College Publications, 2008.
Перейти к публикации Загрузить (455.8 KB)
| Авторы: Шапировский И.Б. |
 |
|
||||||||||||||||||||||||||||||||||
| русский | english |
|
||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||
© Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2025
Об институте | Контакты | Противодействие коррупции