Результаты исследований: Материалы конференций › материалы › Рецензирование
| Язык оригинала | английский |
|---|---|
| Страницы | 44-56 |
| Число страниц | 13 |
| DOI | |
| Состояние | Опубликовано - 2025 |
| Событие | 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Singapore Продолжительность: 23 июн 2025 → 26 июн 2025 |
| конференция | 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| Город | Singapore |
| Период | 23/06/25 → 26/06/25 |
ID: 147895384