Research output: Contribution to conference › Paper › peer-review
| Original language | English |
|---|---|
| Pages | 44-56 |
| Number of pages | 13 |
| DOIs | |
| State | Published - 2025 |
| Event | 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) - Singapore Duration: 23 Jun 2025 → 26 Jun 2025 |
| Conference | 40th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) |
|---|---|
| City | Singapore |
| Period | 23/06/25 → 26/06/25 |
ID: 147895384