2009

1. Implementación de una semántica de punto fijo para un sistema de bases de datos deductivas con restricciones

   Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009