12 citations · 17 across the 11 of their papers we have counts for
1 paper · 2 filters
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…