#### Filter Results:

- Full text PDF available (14)

#### Publication Year

2009

2015

- This year (0)
- Last 5 years (9)
- Last 10 years (15)

#### Publication Type

#### Co-author

#### Publication Venue

#### Key Phrases

Learn More

- Naohi Eguchi
- ArXiv
- 2009

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 consequence, it is obtained that FPS is the smallest class containing certain initial functions and closed under specific operations. It turns out that our characterization is… (More)

- Martin Avanzini, Naohi Eguchi, Georg Moser
- Theor. Comput. Sci.
- 2012

We propose a new order, the small polynomial path order (sPOP * for short). The order sPOP * provides a characterisation of the class of polynomial time computable function via term rewrite systems. Any polynomial time computable function gives rise to a rewrite system that is compatible with sPOP *. On the other hand any function defined by a rewrite… (More)

- Toshiyasu Arai, Naohi Eguchi
- ACM Trans. Comput. Log.
- 2009

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. Inspired by their work, we characterize the exponential-time computable functions with the use of a safe variant of nested recursion.

- Martin Avanzini, Naohi Eguchi, Georg Moser
- RTA
- 2011

In this paper we present a new path order for rewrite systems, the exponential path order EPO. Suppose a term rewrite system is compatible with EPO , then the runtime complexity of this rewrite system is bounded from above by an exponential function. Furthermore, the class of function computed by a rewrite system compatible with EPO equals the class of… (More)

- Naohi Eguchi
- Math. Log. Q.
- 2009

- Naohi Eguchi
- ArXiv
- 2013

The predicative lexicographic path order (PLPO for short), a syntactic restriction of the lex-icographic path order, is presented. As well as lexicographic path orders, several non-trivial primitive recursive equations, e.g., primitive recursion with parameter substitution, unnested multiple recursion, or simple nested recursion, can be oriented with PLPOs.… (More)

- Naohi Eguchi
- ArXiv
- 2014

In this paper we present a new termination proof and complexity analysis of unfolding graph rewriting which is a specific kind of infinite graph rewriting expressing the general form of safe recursion. We introduce a termination order over sequences of terms together with an interpretation of term graphs into sequences of terms. Unfolding graph rewrite… (More)

- Naohi Eguchi
- FOPARA
- 2013

In this paper we present a novel termination order the pred-icative lexicographic path order (PLPO for short), a syntactic restriction of the lexicographic path order. As well as lexicographic path orders, several non-trivial primitive recursive equations, e.g., primitive recur-sion with parameter substitution, unnested multiple recursion, or simple nested… (More)

- Naohi Eguchi
- 2014

In this paper we present a novel termination order the pred-icative lexicographic path order (PLPO for short), a syntactic restriction of the lexicographic path order. As well as lexicographic path orders, several non-trivial primitive recursive equations, e.g., primitive recur-sion with parameter substitution, unnested multiple recursion, or simple nested… (More)

In this talk we will discuss about proof-theoretic approaches to computational complexity in terms of weak theories of arithmetic as known as theories of bounded arithmetic, which was initiated by Samuel Buss. We will start with classical facts on primitive recursive functions, and then go into discussion about polynomial time functions and polynomial space… (More)