Войти
Логин:
Пароль:
Забыли пароль?
научная деятельность
структура институтаобразовательные проектыпериодические изданиясотрудники институтапресс-центрконтакты
русский | english

2008 г.

PSPACE-decidability of Japaridze"s Polymodal Logic. Advances in Modal Logic - Volume 7, pages 289-304. King"s College Publications, 2008.

Перейти к публикации Загрузить (455.8 KB)

Авторы: Шапировский И.Б.
 

 

  © Федеральное государственное бюджетное учреждение науки
Институт проблем передачи информации им. А.А. Харкевича Российской академии наук, 2016
Об институте  |  Контакты  |  Старая версия сайта