On the problem of checking chase termination
No Thumbnail Available
Date
2011-11-23
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011
Keywords
Algoritmi, Sistemi operativi