2 results
A decidable subclass of finitary programs
-
- Journal:
- Theory and Practice of Logic Programming / Volume 10 / Issue 4-6 / July 2010
- Published online by Cambridge University Press:
- 09 July 2010, pp. 481-496
-
- Article
- Export citation
On finitely recursive programs1
-
- Journal:
- Theory and Practice of Logic Programming / Volume 9 / Issue 2 / March 2009
- Published online by Cambridge University Press:
- 11 March 2009, pp. 213-238
-
- Article
- Export citation