| Полное название | First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Логические исследования. 2013. V.19 (Special Issue). P.68-99. |
| Тип публикации | Статья |
| Язык | Английский |
| URL | http://elibrary.ru/item.asp?id=20387564 |
| Дата публикации | 01.01.1900 |
| РИНЦ RSCI Перечень ВАК Web of Science Scopus | |
| С участием зарубежных ученых |
