Publications by the researcher in collaboration with Ricardo Peña Marí (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