Functional and Constraint Logic Programming More Books by Santiago Escobar

Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
2025
Rewriting Logic and Its Applications Rewriting Logic and Its Applications
2014