Manuel V. Hermenegildo
Manuel V. Hermenegildo
Affiliation: UPM, IMDEA
Affiliation: Instituto IMDEA Software & UPM
Pages in this Program
Towards Relating Ciao Assertions and LPTP Theorems
An Approach to the Abstract Interpretation of Goal-Directed Answer Set Programming
Designed and Developed by EventKey | Copyright 2026 EventKey Last updated:
🔍 ↑