Унификация и проективность в логиках MLinMLN и NML : доклад, тезисы доклада

Описание

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

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

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

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

Издание

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

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

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

Персоны

  • Проценко Н. А. (Сибирский федеральный университет)
  • Грекович К. В. (Сибирский федеральный университет)

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