On unification and passive rules in multi-modal temporal logic of linear time and knowledge LFPK : доклад, тезисы доклада | Научно-инновационный портал СФУ

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

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

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

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

Издание

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

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

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

Персоны

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

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