Artículos (3) Publicaciones en las que ha participado algún/a investigador/a

1999

  1. Approach to declarative programming based on a rewriting logic

    Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87

  2. Calculating encoding and decoding functions for prefix codes

    SIGPLAN Notices (ACM Special Interest Group on Programming Languages), Vol. 34, Núm. 4, pp. 54-60

  3. Higher-order recursive path ordering

    Proceedings - Symposium on Logic in Computer Science, pp. 402-411