Logic-Based Program Synthesis and Transformation Más libros de Santiago Escobar & Laura Titolo

Rewriting Logic and Its Applications Rewriting Logic and Its Applications
Rewriting Logic and Its Applications
2014