Rewriting Logic and Its Applications Sách Khác Của Santiago Escobar

Logic-Based Program Synthesis and Transformation

2025

Functional and Constraint Logic Programming

2010