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

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

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

Ключевые слова: Деревья вычислений, многоагентная логика, ветвящаяся временная логика, реляционная семантика Крипке

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

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

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

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

• РИНЦ (eLIBRARY.RU)