Abstract: In a previous paper we introduced a system of recursion operators for formulating pure logic programs, dispensing with explicit recursions. The recursion operators, some of which are similar ...
Add a description, image, and links to the primitive-recursive topic page so that developers can more easily learn about it.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results