Guido Gherardi
According to our database1,
Guido Gherardi
authored at least 21 papers
between 2006 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2006
2008
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
1
1
2
1
2
1
1
3
1
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
2022
Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022
2021
2020
2019
2017
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655].
Ann. Pure Appl. Log., 2017
Proceedings of the Computability and Complexity, 2017
2015
Proceedings of the 32nd International Symposium on Theoretical Aspects of Computer Science, 2015
2012
Ann. Pure Appl. Log., 2012
2011
J. Symb. Log., 2011
Bull. Symb. Log., 2011
2009
J. Log. Comput., 2009
A method to evaluate the computational complexity of the theorems from functional analysis.
Proceedings of the Theoretical Computer Science, 11th Italian Conference, 2009
2008
Proceedings of the Fifth International Conference on Computability and Complexity in Analysis, 2008
2007
Proceedings of the Computation and Logic in the Real World, 2007
2006
An Analysis of the Lemmas of Urysohn and Urysohn-Tietze According to Effective Borel Measurability.
Proceedings of the Logical Approaches to Computational Barriers, 2006