Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected ... (Lecture Notes in Computer Science, 10855)

Logic-Based Program Synthesis and Transformation - 9783030988685

Theory and Practice of Model Transformations: 8th International Conference, ICMT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 20-21, 2015. ... (Lecture Notes in Computer Science, 9152)

Advances in Computing : 15th Colombian Congress, CCC 2021, Bogota, Colombia, November 22-26, 2021, Revised Selected Papers

Philosophy of Logical Systems by Jaroslav Peregrin - 9781032176598