Cerca
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 ...