This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cas
This book presents the thoroughly refereed post-workshop proceedings of the 8th International Workshop on Logic-Based Program Synthesis and Transformation, LOPS
This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses var