Navegar

Colección

Datos Estadísticas

Lista de

2005
867
Journal of Logic and Computation
2
"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