Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
10 links
Naohi Eguchi
Researcher
PaperA Simplified Characterisation of Provably Computable Functions of the System ID_1 of Inductive DefinitionsAuthorship / preprint / 2012PaperA term-rewriting characterization of PSPACEAuthorship / preprint / 2012PaperCharacterising Complexity Classes by Inductive Definitions in Bounded ArithmeticAuthorship / preprint / 2014PaperPredicative Lexicographic Path Orders: An Application of Term Rewriting to the Region of Primitive Recursive FunctionsAuthorship / preprint / 2014PaperProving Termination of Unfolding Graph Rewriting for General Safe RecursionAuthorship / preprint / 2014PaperComplexity Analysis of Precedence Terminating Infinite Graph Rewrite SystemsAuthorship / preprint / 2015PaperFormalizing Termination Proofs under Polynomial Quasi-interpretationsAuthorship / preprint / 2015PaperA Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report)Authorship / preprint / 2011