Concepedia

Guido Gherardi

GG

7

Publications

278

Citations

7

H-Index

2008

Active since

Affiliations

University of Bologna(Current)

University of Cape Town

Universität der Bundeswehr München

Guido Gherardi is an author at University of Bologna specializing in computer science, engineering, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningComputational ComplexityMathematical FoundationsSemanticsManagementProbabilityDecision Theory

Publications per year

2008–2021

7

Publications

7

The Bolzano–Weierstrass Theorem is the jump of Weak Kőnig’s Lemma

Vasco Brattka, Guido Gherardi, Alberto Marcone · Annals of Pure and Applied Logic · 2011 · 96 citations · Full text

Bolzano–weierstrass Theorem

How Incomputable Is the Separable Hahn-Banach Theorem?

Guido Gherardi, Alberto Marcone · Notre Dame Journal of Formal Logic · 2009 · 63 citations · Full text

Circuit Complexity, Hahn-banach Extension Theorem, Computational Complexity Theory +13

Probabilistic computability and choice

Vasco Brattka, Guido Gherardi, Rupert Hölzl · Information and Computation · 2015 · 42 citations · Full text

Engineering, Automated Reasoning, Probabilistic System +6

Alan Turing and the Foundations of Computable Analysis

Guido Gherardi · Bulletin of Symbolic Logic · 2011 · 27 citations

Theory Of Computing, Abstract Machine, Engineering +12

Borel Complexity of Topological Operations on Computable Metric Spaces

Vasco Brattka, Guido Gherardi · Journal of Logic and Computation · 2008 · 21 citations

Rows per page

1–5 of 7