GHERARDI, GUIDO

GHERARDI, GUIDO  

DIPARTIMENTO DELLE ARTI  

Docenti di ruolo di IIa fascia  

Mostra records
Risultati 1 - 20 di 34 (tempo di esecuzione: 0.03 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
Proof systems for super-strict implication Guido Gherardi,
Eugenio Orlandelli,
Eric Raidl
2024-01-01 STUDIA LOGICA - 1.01 Articolo in rivista GerardiOrlandelliRaidl_2023_PSSSI.pdf
Eugenio Orlandelli e Giovanna Corsi, Corso di logica modale proposizionale, Carocci editore, Roma 2019, pp. 193. Gherardi Guido 2023-01-01 APHEX - 1.03 Recensione in rivista -
Introduzione alla Teoria dei Modelli Guido Gherardi 2023-01-01 - Archetipo Libri - CLUEB 3.01 Monografia / trattato scientifico in forma di libro 5756-Gherardi_SN3.pdf
La logica del convincimento guido gherardi 2023-01-01 - La Vela 2.01 Capitolo / saggio in libro -
La calculabilité Guido, Gherardi; Maël, Pegny 2022-01-01 - La Sorbonne 2.01 Capitolo / saggio in libro Précis-Gherardi-Pégny postprint.pdf
Non-Normal Super-Strict Implications Gherardi, Guido; Orlandelli, Eugenio 2022-01-01 ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE - 4.01 Contributo in Atti di convegno GherardiOrlandelli_2022_NNSSI.pdf
Completion of choice Vasco Brattka; Guido Gherardi 2021-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista Completion-of-Choice-APAL-con copertina.pdf
Super-Strict Implications Orlandelli, Eugenio; Gherardi, Guido 2021-01-01 BULLETIN OF THE SECTION OF LOGIC - 1.01 Articolo in rivista GherardiOrlandelli_2021_SuperStrictImp.pdf
Weihrauch complexity in computable analysis Vasco, Brattka; Guido, Gherardi; Arno, Pauly 2021-01-01 - Springer 2.01 Capitolo / saggio in libro Chapter_BGP postprint con copertina.pdf
Interpolation in Extensions of First-Order Logic Gherardi, Guido; Maffezioli, Paolo; Orlandelli, Eugenio 2020-01-01 STUDIA LOGICA - 1.01 Articolo in rivista FinalSLStyle.pdf
Weihrauch goes Brouwerian Vasco Brattka; Guido Gherardi 2020-01-01 THE JOURNAL OF SYMBOLIC LOGIC - 1.01 Articolo in rivista Total-JSL con copertina.pdf
Interpolation in singular geometric theories Guido Gherardi; Paolo Maffezioli; Eugenio Orlandelli 2019-01-01 - University of Tuebingen 4.01 Contributo in Atti di convegno GherardiMaffezioliOrlandelli_2019_InterpolSingGeomTh.pdf
Projection operators in the Weihrauch lattice Guido Gherardi, Alberto Marcone, Arno Pauly 2019-01-01 COMPUTABILITY - 1.01 Articolo in rivista projections-Computability_postprint.pdf
Le direzioni della logica in Italia: la reverse mathematics e l'analisi computazionale Guido, Gherardi; Alberto, Marcone 2018-01-01 - ETS 2.01 Capitolo / saggio in libro rmca-ver2bis.pdf
Addendum to: "The Bolzano-Weierstrass theorem is the jump of weak Konig's lemma" [Ann. Pure Appl. Logic 163 (6) (2012) 623-655] Vasco Brattka; Andrea Cettolo; Guido Gherardi; Alberto Marcone; Matthias Schröder 2017-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista Bolzano-Weierstraß-APAL-addendum-postprint (1).pdf
Interpolation Theorem for First-Order Theories Guido, Gherardi; Paolo, Maffezioli; Eugenio, Orlandelli 2017-01-01 THE BULLETIN OF SYMBOLIC LOGIC - 1.06 Abstract in rivista -
The Vitali Covering Theorem in the Weihrauch Lattice Vasco Brattka; Guido Gherardi; Rupert Hölzl; Arno Pauly 2017-01-01 - Springer 2.01 Capitolo / saggio in libro Gherardi-LNCS -1.pdf
Las Vegas computability and algorithmic randomness Vasco Brattka; Guido Gherardi; Rupert Hölzl 2015-01-01 - Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik 4.01 Contributo in Atti di convegno LasVegas-STACS15.pdf
Probabilistic computability and choice Vasco Brattka; Guido Gherardi; Rupert Hölzl 2015-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista Probabilistic postprint new.pdf
The Bolzano-Weierstrass Theorem is the Jump of Weak König's Lemma Vasco Brattka; Guido Gherardi; Alberto Marcone 2012-01-01 ANNALS OF PURE AND APPLIED LOGIC - 1.01 Articolo in rivista -