Nao Hirokawa

Identifiers

• name variant Nao Hirokawa 0.60 · backfill

Papers (6)

1. Unifying Semantic Path Order and Weighted Path Order cs.LO · 2026 · author #2
2. Confluence by Critical Pair Analysis Revisited (Extended Version) cs.LO · 2019 · author #1
3. Critical Peaks Redefined - $\Phi \sqcup \Psi = \top$ cs.LO · 2017 · author #1
4. Uncurrying for Innermost Termination and Derivational Complexity cs.LO · 2011 · author #2
5. Automated Complexity Analysis Based on the Dependency Pair Method cs.LO · 2011 · author #1
6. Decreasing Diagrams and Relative Termination cs.LO · 2009 · author #1

Mentions

• 2605.29393 #2 · arxiv_oai · confidence 0.70 Nao Hirokawa
• 1102.3733 #2 · backfill · confidence 0.70 Nao Hirokawa
• 1102.3129 #1 · backfill · confidence 0.70 Nao Hirokawa
• 0910.2853 #1 · backfill · confidence 0.70 Nao Hirokawa

Frequent Coauthors

• Aart Middeldorp 2 shared papers
• Julian Nagele 2 shared papers
• Michio Oyamaguchi 2 shared papers
• Vincent van Oostrom 2 shared papers
• Georg Moser 1 shared papers
• Harald Zankl 1 shared papers
• Teppei Saito 1 shared papers