Navegar

Colección

Datos Estadísticas

Lista de

Lombardi, Carlos
1
2017
1
"On abstract normalisation beyond neededness" (2017) Bonelli, E.; Kesner, D.; Lombardi, C.; Ríos, A. Theoretical Computer Science. 672:36-63