Santiago Escobar

Livres
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2025
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