Logic-Based Program Synthesis and Transformation - 9783032048479

Logic-Based Program Synthesis and Transformation - 9783031457838

Logic-Based Program Synthesis and Transformation: 9th International Workshop,

Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

Logic-Based Program Synthesis and Transformation - 9783031167669

Logic-based Program Synthesis and Transformation : 25th International Symposi...

Logic-Based Program Synthesis and Transformation - 9783319274355

Logic-Based Program Synthesis and Transformation - 9783030138370