Unification 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)

Вхождение в базы данных

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

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