Items where authors include "Mainardi, L"

Proceedings Paper

Carlucci, L, Mainardi, L and Rathjen, M (2019) A Note on the Ordinal Analysis of RCA0+WO(σ). In: Manea, F, Martin, B, Paulusma, D and Primiero, G, (eds.) Lecture Notes in Computer Science. Computability in Europe 2019: Computing with Foresight and Industry, 15-19 Jul 2019, Durham, UK. Springer , Cham, Switzerland , pp. 144-155. ISBN 978-3-030-22995-5