This book constitutes the thoroughly refereed post-conference proceedings of the 25th International Symposium on Logic-Based Program Synthesis and Transformatio

This volume contains selected papers from LOPSTR 2003, the 13th Inter- tional Symposium on Logic-Based Program Synthesis and Transformation. The LOPSTR series i

This book constitutes the thoroughly refereed postproceedings of the15th International Symposium on Logic Based Program Synthesis andTransformation, LOPSTR 2005

This book constitutes the thoroughly refereed postproceedings of the 14th International Symposium on Logic Based Program Synthesis and Transformation, LOPSTR 20

This book presents recent advances in the field of nanoscale characterization of ferroelectric materials using scanning probe microscopy (SPM). It addresses var