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

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

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

Ключевые слова: Реляционная семантика логики, сети Петри, алгоритмы построения моделей

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

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

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

• Смелых К. А. (Сибирский федеральный университет)

• РИНЦ (eLIBRARY.RU)