Navegar

Colección

Datos Estadísticas

Lista de

11th International Conference on Rewriting Techniques and Applications, RTA 2000
1
2000
1
"A de bruijn notation for higher-order rewriting" (2000) Bonelli, E.; Kesner, D.; Ríos, A.; Bachmair L. 11th International Conference on Rewriting Techniques and Applications, RTA 2000. 1833:62-79