24 citations · 29 across the 2 of their papers we have counts for
1 paper · 1 filter
Maurizio Gabbrielli abd Jacopo Mauro, Maria Chiara Meo, Jon Sneyers
We study the decidability of termination for two CHR dialects which, similarly to the Datalog like languages, are defined by using a signature which does not allow function symbols…