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

Logic-Based Program Synthesis and Transformation - 9783031712937

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

Logic-Based Program Synthesis and Transformation - 9783032048479

Logic Based Program Synthesis and Transformation: 12th International Workshop,

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

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

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