Su di un livello |
Altadonna, Fabio (2024) Logica di Hoare applicata su un linguaggio procedurale: implementazione Matita. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]
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]
Russo, Marco (2024) Il lambda-calcolo con la strategia Call-by-Value. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]