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

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: C | M | P | S
Numero di documenti: 4.

C

Caprari, Riccardo (2018) Estrazione di codice da termini della Minimalist Type Theory. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

M

Molinari, Giacomo (2018) Towards an Implementation in Lambda-Prolog of Maietti's two-level minimalist foundation. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270], Documento full-text non disponibile

P

Piemontese, Cristiano (2018) Sviluppo di un interactive theorem prover in ELPI. [Laurea magistrale], Università di Bologna, Corso di Studio in Informatica [LM-DM270]

S

Sinagra, Emanuele (2018) Implementazione di un algoritmo lineare per l’α-equivalenza di λ-termini con sharing. [Laurea], Università di Bologna, Corso di Studio in Informatica [L-DM270]

Questa lista e' stata generata il Sat Oct 5 21:02:24 2024 CEST.
^