On the problem of checking chase termination

Formato

Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011; Università della Calabria

Algoritmi; Sistemi operativi

ING-INF/05;