Find link

language:

Find link is a tool written by Edward Betts.

searching for General recursive function 1 found (11 total)

alternate case: general recursive function

Computability theory (6,419 words) [view diff] no match in snippet view article find links to article

according to Robert I. Soare it is a total recursive (equivalently, general recursive) function. This article follows the second of these conventions. In 1996