Lorenzo Carlucci
Orcid: 0000-0001-8238-0315
According to our database1,
Lorenzo Carlucci
authored at least 24 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
2
1
1
1
1
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2022
Hindman's theorem for sums along the full binary tree, Σ <sup>0<sub>2</sub></sup>-induction and the Pigeonhole principle for trees.
Arch. Math. Log., 2022
2021
Proceedings of the Connecting with Computability, 2021
2020
2019
A Note on the Ordinal Analysis of \mathbf RCA_0 + \mathrm WO(\mathbf σ ) RCA 0 + WO ( σ ).
Proceedings of the Computing with Foresight and Industry, 2019
2018
Arch. Math. Log., 2018
2016
ACM Trans. Comput. Log., 2016
2014
J. Symb. Log., 2014
2013
2012
Proceedings of the How the World Computes, 2012
2011
2010
2009
Proceedings of the Algorithmic Learning Theory, 20th International Conference, 2009
2008
2007
2006
Proceedings of the Learning Theory, 19th Annual Conference on Learning Theory, 2006
2005
2003
Theor. Comput. Sci., 2003