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.
Full text not available from this repository.Abstract
Nessun abstract presente
| Tipologia pubblicazione: | Tesi (Tesi specialistica/ciclo unico) |
|---|---|
| Collocazione, A.A. e note: | Collocazione: BM Tesi I 0060. A.A. 1999-2000. |
| Soggetto: | Q Science > Q Science (General) |
| Corso di Laurea/Scuola di specializzazione/Dottorato: | Facoltà di Scienze Matematiche, Fisiche e Naturali > Corso di laurea in Informatica |
| Inserito da: | Biblioteca Meneghetti |
| Data di deposito: | 25 Jul 2018 11:02 |
| Ultima modifica: | 25 Jul 2018 11:02 |
| URI: | http://tesi.meneghetti.univr.it/id/eprint/2850 |
Actions (login required)
 |
View Item |
