Instituto Universitario de Evaluación Sanitaria
Centro/Instituto
RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Publicaciones en las que colabora con RICARDO VICENTE PEÑA MARÍ (1)
2001
-
Adding traces to a lazy monadic evaluator
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)