Telefónica-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2007

  1. Extra Variables Can Be Eliminated from Functional Logic Programs

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