Logic-based program synthesis and transformation 31st International Symposium, LOPSTR 2021, Tallinn, Estonia, September 7-8, 2021, Proceedings /
This book constitutes the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2021, which was held during September 7-8, 2021.* The 8 papers presented in this volume were carefully reviewed and selected from a total of 15 reviewed sub...
Full description
Saved in:
| Corporate Authors: |
LOPSTR (Symposium) Tallinn, Estonia ; Online) |
| Other Authors: |
LOPSTR (Symposium), De Angelis, Emanuele,, Vanhoof, Wim,, SpringerLink (Online service) |
| Format: |
eBook
|
| Language: |
English
|
| Published: |
Cham, Switzerland :
Springer,
2022.
|
| Physical Description: |
1 online resource (ix, 177 pages) : illustrations (some color).
|
| Series: |
Lecture notes in computer science ;
13290.
|
| Subjects: |
|