Logic-Based Program Synthesis and Transformation 30th international symposium, LOPSTR 2020, Bologna, Italy, September 7-9, 2020 : proceedings /
This book constitutes the refereed proceedings of the 30th International Conference on Logic-Based Program Synthesis and Transformation, LOPSTR 2020, which was held during September 7-9, 2020. The 15 papers presented in this volume were carefully reviewed and selected from a total of 31 submissions....
| Corporate Authors: | LOPSTR (Symposium) Online) |
|---|---|
| Other Authors: | LOPSTR (Symposium), Fernández, Maribel,, SpringerLink (Online service) |
| Format: | eBook |
| Language: | English |
| Published: |
Cham :
Springer,
[2021]
|
| Physical Description: |
1 online resource (348 pages). |
| Series: |
Lecture notes in computer science ;
12561. LNCS sublibrary. Theoretical computer science and general issues. |
| Subjects: |
CMU Electronic Access
Electronic Resource Click Here| Location | Call Number: | Status |
|---|---|---|
| CMU Electronic Access | Available |