Functional and Constraint Logic Programming More Books by Santiago Escobar

Logic-Based Program Synthesis and Transformation

2025

Rewriting Logic and Its Applications

2014