On the problem of checking chase termination

dc.contributor.author	Spezzano, Francesca
dc.contributor.author	Palopoli, Luigi
dc.contributor.author	Greco, Sergio
dc.date.accessioned	2017-02-24T09:46:54Z
dc.date.available	2017-02-24T09:46:54Z
dc.date.issued	2011-11-23
dc.identifier.uri	http://hdl.handle.net/10955/1096
dc.identifier.uri	http://dx.doi.org/10.13126/UNICAL.IT/DOTTORATI/1096
dc.description	Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011	en_US
dc.description.sponsorship	Università della Calabria	en_US
dc.language.iso	en	en_US
dc.relation.ispartofseries	ING-INF/05;
dc.subject	Algoritmi	en_US
dc.subject	Sistemi operativi	en_US
dc.title	On the problem of checking chase termination	en_US
dc.type	Thesis	en_US