7 citations · 10 across the 3 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2017★ 3 cited
Polynomial running times for polynomial-time oracle machines
Akitoshi Kawamura, Florian Steinberg
This paper introduces a more restrictive notion of feasibility of functionals on Baire space than the established one from second-order complexity theory. Thereby making it possibl…
cs.CC2007★ 7 cited
Differential Recursion and Differentially Algebraic Functions
Akitoshi Kawamura
Moore introduced a class of real-valued "recursive" functions by analogy with Kleene's formulation of the standard recursive functions. While his concise definition inspired a new…