LoginTesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2024
![[su]](/style/images/multi_up.png)
Su di un livelloNumero di documenti: 3.
A
Altadonna, Fabio (2024) Logica di Hoare applicata su un linguaggio procedurale: implementazione Matita. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
C
Capone, Orazio Andrea (2024) Una webapp per dimostrazioni in deduzione natuale per la logica del primo ordine. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
R
Russo, Marco (2024) Il lambda-calcolo con la strategia Call-by-Value. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
