Búsqueda de Publicación - Prisma - Unidad de Bibliometría

Publicaciones de Jornadas sobre Programación y Lenguajes

Tipo Año Título Fuente
Ponencia2009Efficient execution in an automated reasoning environmentProgramació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
Ponencia2009Verificación y eficiencia en programas para el cálculo simbólico: estudio de un casoProgramació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
Artículo2001Sincronización Multiproceso en Programas Concurrentes: Selección Completamente k-Justa de InteraccionesPrimeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
Artículo2001Transforming Layered Specifications into Operational SpecificationsPrimeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001