Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Research › peer-review
| Original language | English |
|---|---|
| Title of host publication | Unity of Logic and Computation (CiE 2023) |
| Publisher | Springer Nature |
| Volume | 13967 |
| DOIs | |
| State | Published - 2023 |
| Event | Computability in Europe-2023 - Duration: 24 Jul 2023 → … |
| Name | LNCS |
|---|---|
| Publisher | Springer |
| Conference | Computability in Europe-2023 |
|---|---|
| Period | 24/07/23 → … |
ID: 126990525