Publicaciones en las que colabora con Agustín D. Delgado (1)

2011

  1. Size Invariant and Ranking Function Synthesisin a Functional Language

    Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011Odense, Denmark, July 19, 2011 Proceedings