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

2021 year

Ilya B. Shapirovsky. Satisfiability problems on sums of Kripke frames. https://arxiv.org/abs/2012.15347

Authors: Shapirovsky I.
 

 

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