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