PURIFICACIÓN
ARENAS SÁNCHEZ
Profesora titular de universidad
![Foto de Manuel de](/img/nophoto.png)
Manuel de
Hermenegildo Salinas
Publications by the researcher in collaboration with Manuel de Hermenegildo Salinas (2)
2012
-
Certificate size reduction in abstraction-carrying code
Theory and Practice of Logic Programming, Vol. 12, Núm. 3, pp. 283-318
2006
-
Reduced certificates for abstraction-carrying code
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)