Navegar

Colección

Datos Estadísticas

Lista de

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