Unification for multi-agent temporal logics with universal modality

Тип публикации: статья из журнала

Год издания: 2017

Издание

Журнал: IfCoLog Journal of Logics and their Applications

Выпуск журнала: Т. 4, 4

Номера страниц: 939-954

ISSN журнала: 20553706

Авторы

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.