Rewriting Logic and Its Applications: 10th International Workshop, WRLA 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers

Functional and Constraint Logic Programming: 18th International Workshop, WFLP 2009, Brasilia, Brazil, June 28, 2009, Revised Selected Papers

Logic-Based Program Synthesis and Transformation: 35th International Symposium, LOPSTR 2025, Rende, Italy, September 9–10, 2025, Proceedings