Enter
Login:
Password:
Forgot your password?
scientific activity
structureeducational projectsperiodicalsstaffpress centercontacts
­ˇ˝˝ŕŔÚ | english

2008 year

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

Go to publication Download (455.8 KB)

Authors: Shapirovsky I.
 

 

  © Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2016
About  |  Contacts  |  The old version of this site