Naohi Eguchi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Formalizing termination proofs under polynomial quasi-interpretations	2021-12-02	Paper
Formalizing termination proofs under polynomial quasi-interpretations (available as arXiv preprint)	2021-12-02	Paper
Complexity analysis of precedence terminating infinite graph rewrite systems	2021-12-02	Paper
Complexity analysis of precedence terminating infinite graph rewrite systems (available as arXiv preprint)	2021-12-02	Paper
Predicative lexicographic path orders. An application of term rewriting to the region of primitive recursive functions Foundational and Practical Aspects of Resource Analysis	2016-01-07	Paper
A new function algebra of EXPTIME functions by safe nested recursion ACM Transactions on Computational Logic	2015-09-17	Paper
A new order-theoretic characterisation of the polytime computable functions Theoretical Computer Science	2015-05-26	Paper
Proving Termination of Unfolding Graph Rewriting for General Safe Recursion	2014-04-24	Paper
Characterising Complexity Classes by Inductive Definitions in Bounded Arithmetic	2013-06-24	Paper
A Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive Definitions	2012-05-13	Paper
A path order for rewrite systems that compute exponential time functions	2012-04-24	Paper
A path order for rewrite systems that compute exponential time functions (available as arXiv preprint)	2012-04-24	Paper
scientific article; zbMATH DE number 5722524 (Why is no real title available?)	2010-06-17	Paper
A lexicographic path order with slow growing derivation bounds Mathematical Logic Quarterly	2009-04-09	Paper

Research outcomes over time

This page was built for person: Naohi Eguchi