Logic-based program synthesis and transformation: 29th international symposium, lopstr 2019, porto, portugal, october 8–10, 2019, revised selected papers
Éditeur :
Springer Nature Switzerland AG
ISBN :
9783030452599
Date de publication :
22 avr. 2020
Dimensions :
23,5 x 15,5 cm
Langue :
Anglais
Pays d'origine :
Suisse
This book constitutes the thoroughly refereed post-conference proceedings of the 29th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2019, held in Porto, Portugal, in October 2019.