12 citations · 17 across the 11 of their papers we have counts for
Showing 2013 · math.LOShow all
2 papers · 2 filters
math.LO2013
Predicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive Functions
Naohi Eguchi
In this paper we present a novel termination order the {\em predicative lexicographic path order} (PLPO for short), a syntactic restriction of the lexicographic path order. As well…
math.LO2013★ 2 cited
Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic
Naohi Eguchi
Famous descriptive characterisations of P and PSPACE are restated in terms of the Cook-Nguyen style second order bounded arithmetic. We introduce an axiom of inductive definitions…