Pedro López-García
Pedro López-García
Affiliation: CSIC, IMDEA
Affiliation: Instituto IMDEA Software & CSIC
Affiliation: Spanish Council for Scientific Research (CSIC) and IMDEA Software Institute
Pages in this Program
Towards Relating Ciao Assertions and LPTP Theorems
Exploiting Multiple Abstract Call Patterns for Optimizing Run-Time Checks
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
Towards an Automated Reasoning Tool for Complexity Analysis of Automated Reasoners
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑