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

Publicaciones en la fuente JOURNAL OF FUNCTIONAL PROGRAMMING

Tipo Año Título Fuente
Artículo2008Efficient execution in an automated reasoning environmentJOURNAL OF FUNCTIONAL PROGRAMMING