Logic-based program synthesis and transformation: 31st international symposium, lopstr 2021, tallinn, estonia, september 7–8, 2021, proceedings
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030988685
Date de publication :
13 mars 2022
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
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 submissions.