Projective unification for linear non-transitive temporal logic with the operator of universal modality

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

Конференция: Мальцевские чтения

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

Издание

Журнал: Мальцевские чтения

Номера страниц: 175-176

Место издания: Новосибирск

Авторы

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

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