CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

CLIP Group's Publications in 2026


Articles in Refereed Conferences:

  1. Daniela Ferreiro, José F. Morales, Pedro Lopez-Garcia, Manuel V. Hermenegildo. Multi-Configurable Search Rules in Prolog and Application to Testing. 28th International Symposium on Practical Aspects of Declarative Languages, PADL 2026, LNCS, Springer, 2026.



Last updated on Sun Nov 16 09:00:54 PM CET 2025