Navegar

Colección

Datos Estadísticas

Lista de

Higher-order rewriting
6
"De Bruijn indices for metaterms" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):855-899
"De Bruijn indices for metaterms" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):855-899
"Relating higher-order and first-order rewriting" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):901-947
"Relating higher-order and first-order rewriting" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):901-947
"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
"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