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