Publicacions en col·laboració amb investigadors/es 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