Эквивалентные унификаторы на диаграммах : доклад, тезисы доклада

Описание

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

Конференция: Современные проблемы математики и ее приложений; Екатеринбург; Екатеринбург

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

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

Издание

Журнал: Современные проблемы математики и её приложений

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

Место издания: Екатеринбург

Персоны

  • Брылякова Е.В. (Сибирский федеральный университет)

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