Uniﬁcation through the projective formulas in linear discrete temporal logics of knowledge : доклад, тезисы доклада

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

Конференция: МАЛЬЦЕВСКИЕ ЧТЕНИЯ 2016; Новосибирск; Новосибирск

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

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

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

Издатель: Институт математики им. С. Л. Соболева

Bashmakov S.I. (Institute of mathematics and computer science, Siberian Federal University)
Kosheleva A.V. (Institute of space and informatic technologies, Siberian Federal University)
Rybakov V. (Department of Computing and Mathematics, Manchester Metropolitan University)

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