Logic-Based Program Synthesis and Transformation Plus de livres par Santiago Escobar & Laura Titolo

Rewriting Logic and Its Applications

2014