DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Please use this identifier to cite or link to this item:
https://hdl.handle.net/10955/1096| Title: | On the problem of checking chase termination |
| Authors: | Spezzano, Francesca Palopoli, Luigi Greco, Sergio |
| Keywords: | Algoritmi Sistemi operativi |
| Issue Date: | 23-Nov-2011 |
| Series/Report no.: | ING-INF/05; |
| Description: | Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011 |
| URI: | http://hdl.handle.net/10955/1096 http://dx.doi.org/10.13126/UNICAL.IT/DOTTORATI/1096 |
| Appears in Collections: | Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Spezzano_Francesca_Tesi_Dottorato.pdf | 812,2 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.