A.V. Kudinov and I.B. Shapirovsky. On partitioning Kripke frames of finite depth. Izvestiya: Mathematics, 81(3), 2017. In press.
Authors: Kudinov A., Shapirovsky I. |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
© Institute for Information Transmission Problems of the Russian Academy of Sciences (Kharkevich Institute), 2024 About | Contacts | Ïðîòèâîäåéñòâèå êîððóïöèè |