Daniele Tavernelli
Orcid: 0000-0002-0175-909X
According to our database1,
Daniele Tavernelli
authored at least 3 papers
between 2022 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2023
Comput. J., July, 2023
2022
IEEE ACM Trans. Comput. Biol. Bioinform., 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