RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
![Foto de Agustín D.](/img/nophoto.png)
Agustín D.
Delgado
Agustín D. Delgado-rekin lankidetzan egindako argitalpenak (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