On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK

Тип публикации: доклад, тезисы доклада, статья из сборника материалов конференций

Конференция: Алгебра и логика: теория и приложения

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

Издание

Журнал: Алгебра и логика: теория и приложения

Место издания: Красноярск

Издатель: Сибирский федеральный университет

Авторы

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

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