Logic-Based Program Synthesis and Transformation More Books by Santiago Escobar & Laura Titolo

Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2014
Functional and Constraint Logic Programming Functional and Constraint Logic Programming
Functional and Constraint Logic Programming
2010