Navegar

Colección

Datos Estadísticas

Lista de

2001
680
12th International Conference on Rewriting Techniques and Applications, RTA 2001
1
"From higher-order to first-order rewriting" (2001) Bonelli, E.; Kesner, D.; Ríos, A. 12th International Conference on Rewriting Techniques and Applications, RTA 2001. 2051 LNCS:47-62