Lista de

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