Navegar

Colección

Datos Estadísticas

Lista de

Journal of Logic and Computation
10
2005
2
"Relating higher-order and first-order rewriting" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):901-947
"De Bruijn indices for metaterms" (2005) Bonelli, E.; Kesner, D.; Rios, A. Journal of Logic and Computation. 15(6):855-899