Pedro Lopez-Garcia

Pedro Lopez-Garcia

1 books in the database

Books

Analysis, Verification and Transformation for Declarative Programming and Intelligent SystemsPedro Lopez-Garcia

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems

Pedro Lopez-Garcia · 2023

Co-authored books and collections

Books that list Pedro Lopez-Garcia among their authors but not as the lead author: co-written works, collections and compilations.

Logic-Based Program Synthesis and TransformationManuel V Hermenegildo

Logic-Based Program Synthesis and Transformation

Manuel V Hermenegildo · 2017