1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Toshiyasu Arai, Naohi Eguchi
Bellantoni and Cook have given a function-algebra characterization of the polynomial-time computable functions via an unbounded recursion scheme which is called safe recursion. Ins…