Logic-Based Program Synthesis and Transformation - 9783032048479

Logic Based Program Synthesis and Transformation: 15th International Symposium,

Logic Based Program Synthesis and Transformation: 14th International Symposium,

Logic-Based Program Synthesis and Transformation: 17th International Symposium,

Logic Based Program Synthesis and Transformation: 13th International Symposium

Logic-Based Program Synthesis and Transformation: 25th International Symposium,

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

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