Logic-Based Program Synthesis and Transformation: 3rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings
Research output: Book/Report › Anthology › Research
| Original language | English |
|---|
| Publisher | Springer |
|---|---|
| Number of pages | 211 |
| DOIs | |
| Publication status | Published - 2023 |
| Event | LOPSTR 2023 - Lisbon, Portugal Duration: 23 Oct 2023 → 24 Oct 2023 https://lopstr.github.io/2023/ |
| Series | Lecture Notes in Computer Science |
|---|---|
| Volume | 14330 |
| ISSN | 0302-9743 |
Conference
| Conference | LOPSTR 2023 |
|---|---|
| Country/Territory | Portugal |
| City | Lisbon |
| Period | 23/10/2023 → 24/10/2023 |
| Internet address |
ID: 375981187