Manuel V. Hermenegildo

Books
Static Analysis Static Analysis
Static Analysis
2023
Prolog: The Next 50 Years Prolog: The Next 50 Years
Prolog: The Next 50 Years
2023
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017