Travelled to:
1 × Serbia
Collaborated with:
M.Avanzini G.Moser
Talks about:
exponenti (1) function (1) system (1) rewrit (1) comput (1) order (1) time (1) that (1) path (1)
Person: Naohi Eguchi
DBLP: Eguchi:Naohi
Contributed to:
Wrote 1 papers:
- RTA-2011-AvanziniEM #exponential #order #term rewriting
- A Path Order for Rewrite Systems that Compute Exponential Time Functions (MA, NE, GM), pp. 123–138.