On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада

Описание

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

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

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

Издание

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

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

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

Авторы