Naohi Eguchi

	2012
7		Naohi Eguchi: A term-rewriting characterization of PSPACE CoRR abs/1201.0562: (2012)
6		Martin Avanzini, Naohi Eguchi, Georg Moser: A New Order-theoretic Characterisation of the Polytime Computable Functions CoRR abs/1201.2553: (2012)
	2011
5		Martin Avanzini, Naohi Eguchi, Georg Moser: A Path Order for Rewrite Systems that Compute Exponential Time Functions. RTA 2011: 123-138
	2010
4		Martin Avanzini, Naohi Eguchi, Georg Moser: A Path Order for Rewrite Systems that Compute Exponential Time Functions (Technical Report) CoRR abs/1010.1128: (2010)
	2009
3		Toshiyasu Arai, Naohi Eguchi: A new function algebra of EXPTIME functions by safe nested recursion. ACM Trans. Comput. Log. 10(4): (2009)
2		Naohi Eguchi: A lexicographic path order with slow growing derivation bounds. Math. Log. Q. 55(2): 212-224 (2009)
	2006
1		Toshiyasu Arai, Naohi Eguchi: A new function algebra of EXPTIME functions by safe nested recursion CoRR abs/cs/0607118: (2006)

Coauthor Index

1	Toshiyasu Arai	[1] [3]
2	Martin Avanzini	[4] [5] [6]
3	Georg Moser	[4] [5] [6]

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page