Унификация во временных многоагентных логиках с универсальной модальностью

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

Конференция: Международная конференция "Математика в современном мире", посвященная 60-летию Института математики им. С.Л. Соболева; Новосибирск; Новосибирск

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

Ссылки на полный текст

Издание

Журнал: Математика в современном мире

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

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

Авторы

  • Башмаков С.И. (Институт математики и фундаментальной информатики Сибирского федерального университета)
  • Кошелева А.В. (Институт космических и информационных технологий Сибирского федерального университета)
  • Рыбаков В.В. (Department of Computing and Mathematics, Manchester Metropolitan University)

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

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

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