On the problem of checking chase termination
收藏DataCite Commons2020-09-18 更新2024-07-13 收录
下载链接：
http://dspace.unical.it:8080/jspui/handle/10955/1096
下载链接
链接失效反馈官方服务：
资源简介：
Dottorato di Ricerca in Ingegneria dei Sistemi ed Informatica, XXIV Ciclo, a.a. 2010-2011
2010-2011学年第24届系统与信息工程研究型博士学位项目
提供机构：
Universita' della Calabria
创建时间：
2017-08-28
