Rewriting Logic and Its Applications Mehr Bücher von Santiago Escobar

Logic-Based Program Synthesis and Transformation

2025

Functional and Constraint Logic Programming

2010