Publicaciones en colaboración con investigadores/as de Telefónica (1)

2007

  1. Extra Variables Can Be Eliminated from Functional Logic Programs

    Electronic Notes in Theoretical Computer Science, Vol. 188, pp. 3-19