Logic-Based Program Synthesis and Transformation Plus de livres par 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