Sfoglia per Autore "Calautti, Marco"
Items 1-1 di 1
-
On the decidability of logic programs and chase algorithms
Calautti, Marco; Crupi, Felice; Greco, Sergio (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 ...