Sfoglia per Relatore
Mostrati risultati da 1 a 11 di 11
Dala Deduzione Naturale al lambda-mu calculus, e due macchine astratte
2016/2017 TREGLIA, RICCARDO
giochi a informazione perfetta
2023/2024 CASTELLO, MICHELE
Insiemi Borel e Borel^* in teoria descrittiva degli insiemi generalizzata
2020/2021 PITTON, BEATRICE
La relazione di isomorfismo delle teorie classificabili
2016/2017 MANGRAVITI, FRANCESCO
Logica della dimostrabilità
2019/2020 LESO, DAVIDE
Matching perfetti e decomposizioni paradossali con la proprietà di Baire
2021/2022 VISCARIELLO, MATTIA
Omomorfismo tra grafi: decidibilità e complessità
2018/2019 SCAMPERTI, SALVATORE
On the classification of Wild Proper Arcs and Knots
2017/2018 IANNELLA, MARTINA
Riduzioni boreliane e il problema di isomorfismo per C*-algebre separabili
2016/2017 RATTI, MARCO
Risultati sulla Reverse Mathematics della congettura di Fraïssé
2020/2021 MANCA, DAVIDE
Spazi Uniformi in Teoria Descrittiva degli Insiemi Generalizzata
2023/2024 BOLDRINI, PAOLO
Mostrati risultati da 1 a 11 di 11
Legenda icone
- file disponibili solo agli amministratori
- nessun file disponibile