12 citations · 17 across the 11 of their papers we have counts for
Showing 2012 · math.LOShow all
2 papers · 2 filters
math.LO2012
A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions
Naohi Eguchi, Andreas Weiermann
We present a simplified and streamlined characterisation of provably total computable functions of the theory ID_1 of non-iterated inductive definitions. The idea of the simplifica…
math.LO2012
A term-rewriting characterization of PSPACE
Naohi Eguchi
Isabel Oitavem has introduced a term rewriting system (TRS) which captures the class FPS of polynomial-space computable functions. We propose an alternative TRS for FPS. As a conse…