Instituto Universitario de Evaluación Sanitaria
Zentrum/Institut
FERNANDO
RUBIO DÍEZ
Profesor titular de universidad
Publikationen, an denen er mitarbeitet FERNANDO RUBIO DÍEZ (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)