100 citations · 328 across the 12 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
math.LO2017★ 1 cited
The basis of Boole's logical calculus
Giovanna Corsi, Guido Gherardi
In the present paper we aim to provide a thoughtful and exegetical account of the fundamental ideas at the basis of Boole's theory, with the goal of developing our investigation st…
math.LO2017
Weihrauch Complexity in Computable Analysis
Vasco Brattka, Guido Gherardi, Arno Pauly
We provide a self-contained introduction into Weihrauch complexity and its applications to computable analysis. This includes a survey on some classification results and a discussi…