LoginTesi di laurea con relatore o correlatore Martini, Simone, discusse nel 2011
![[su]](/style/images/multi_up.png)
Su di un livelloNumero di documenti: 2.
A
Alberti, Michele (2011) Risultati di separazione nei calcoli lambda. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270], Documento ad accesso riservato.
S
Solieri, Marco (2011) Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]
