Gori, Roberta
Ragionando sul fallimento finito e le computazioni infinite usando l’interpretazione astratta
Dottorato in Logica Matematica ed Informatica Teorica conseguito nel 2000 presso l'Università di Siena. Ciclo 11.
Relatore/i: Prof. Giorgio Levi, Università di Pisa
Sunto della tesi (pubblicato sul Bollettino)
Home -> Tesi di Dottorato -> 2000 -> Roberta Gori |
La collezione può essere raggiunta anche a partire da EuDML, la biblioteca digitale matematica europea, e da mini-DML, il progetto mini-DML sviluppato e mantenuto dalla cellula Math-Doc di Grenoble.
Per suggerimenti o per segnalare eventuali errori, scrivete a zelati at unina dot it
Con il contributo del Ministero per i Beni e le Attività Culturali