RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
![Foto de Agustín D.](/img/nophoto.png)
Agustín D.
Delgado
Publicacións nas que colabora con Agustín D. Delgado (1)
2011
-
Size Invariant and Ranking Function Synthesisin a Functional Language
Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings