Sfoglia Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica - Tesi di Dottorato per Soggetto "Computer logic"
Items 1-1 di 1
-
On the decidability of logic programs and chase algorithms
(2016-02-19)The problem of programs termination is a fundamental problem in Computer Science, and has always gained interest from research communities, due to the challenge of dealing with a problem that has been proved to be ...