Pedro Lopez-Garcia

Books
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
2023
Logic-Based Program Synthesis and Transformation Logic-Based Program Synthesis and Transformation
Logic-Based Program Synthesis and Transformation
2017