Logic-based program synthesis and transformation: 30th international symposium, lopstr 2020, bologna, italy, september 7–9, 2020, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030684457
Date de publication :
13 févr. 2021
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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.