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 ...
Reductions are the main transport mechanism for impossibility results. Instead of proving every undecidable problem from scratch by diagonalization, we transform known hard instances into new ...
general_purpose_fixedpoint A "practical proof" and implementation of the recursion theorem. This implements a "practical proof" to Roger's fixed-point theorem, sometimes also known as the quine ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results