Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Pedro Lopez-Garcia | lit.salon

Author

Pedro Lopez-Garcia

2 works

2017–2023 across 2 dated works

No biography is available yet.

Start with

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers2017
With Manuel V Hermenegildo
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday2023
With Gallagher, John P., Roberto Giacobazzi

Books

2 works

Featured (2)Featured (2)All (2)All (2)

Search booksSort books

Logic-Based Program Synthesis and Transformation 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016, Revised Selected Papers2017
With Manuel V Hermenegildo
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday2023
With Gallagher, John P., Roberto Giacobazzi
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Pedro Lopez-Garcia.

The conversation is still open.

There is no public salon activity to show for Pedro Lopez-Garcia yet.