Tesi di laurea con relatore o correlatore Sacerdoti Coen, Claudio, discusse nel 2023

Su di un livello
Esporta come [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Raggruppa per: Autore della tesi | Tipologia della tesi | Nessun raggruppamento
Vai a: B | G | P
Numero di documenti: 3.

B

Borghi, Luca (2023) Compilatore per linguaggio di programmazione funzionale sperimentale. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

G

Girolimetto, Mattia (2023) Da Matita a Dedukti e ritorno. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

P

Pizzo, Nicolò (2023) Lapis-rs: a Dedukti type checker based on term graphs. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

Questa lista e' stata generata il Fri Apr 19 05:04:14 2024 CEST.

© ALMA MATER STUDIORUM - Università di Bologna, 2007-2024.

^