 | Up a level |
Lavarini, Nico and Dovier, Agostino (rel.) and Quintarelli, Elisa (correl.) (2000) [BM Tesi I 0060]. - Estensione della semantica logica per linguaggi grafici di interrogazione di dati semistrutturati e risoluzione efficiente basata sul model-checking. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Stefani, Marco and Tanca, Letizia (rel.) and Dovier, Agostino (rel.) (1999) [BM Tesi I 0066]. - Algoritmi per il partizionamento stabile : realizzazione e applicazioni. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
Piccoli, Maria Maddalena and Priami, Corrado (rel.) and Dovier, Agostino (rel.) (1999) [BM Tesi I 0067]. - Unificazione isiemistica e semantica operazionale della concorrenza. Tesi specialistica/ciclo unico thesis, Università degli Studi di Verona.
