On the problem of checking chase termination

Files

Spezzano_Francesca_Tesi_Dottorato.pdf (812.2 KB)

Date

Authors

Spezzano, Francesca

Palopoli, Luigi

Description

Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011

Keywords

Algoritmi, Sistemi operativi

URI

http://hdl.handle.net/10955/1096
http://dx.doi.org/10.13126/UNICAL.IT/DOTTORATI/1096

Collections

Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato