Departamento
Sistemas Informáticos y Computación
Artículos (3) Publicaciones en las que ha participado algún/a investigador/a
1999
-
Approach to declarative programming based on a rewriting logic
Journal of Logic Programming, Vol. 40, Núm. 1, pp. 47-87
-
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
-
Higher-order recursive path ordering
Proceedings - Symposium on Logic in Computer Science, pp. 402-411