Логики ступенчатого времени

Описание

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

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

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

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

Издание

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

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

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

Персоны

  • Башмаков С. И. (Институт математики и фундаментальной информатики, Сибирский федеральный университет)
  • Зверева Т. Ю. (Институт математики и фундаментальной информатики, Сибирский федеральный университет)
  • Поляков А. А. (Институт математики и фундаментальной информатики, Сибирский федеральный университет)

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