Язык оригиналаанглийский
Страницы44-56
Число страниц13
DOI
СостояниеОпубликовано - 2025
Событие40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Singapore
Продолжительность: 23 июн 202526 июн 2025

конференция

конференция40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
ГородSingapore
Период23/06/2526/06/25

ID: 147895384