27 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 2003 | Automating the Dependency Pair Method | Hirokawa, Nao; Middeldorp, Aart |
| 2003 | Tsukuba Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
| 2004 | Polynomial Interpretations with Negative Coefficients | Hirokawa, Nao; Middeldorp, Aart |
| 2004 | Dependency Pairs Revisited | Hirokawa, Nao; Middeldorp, Aart |
| 2005 | Tyrolean Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
| Jun-2005 | Automating the dependency pair method | Hirokawa, Nao; Middeldorp, Aart |
| 2006 | Predictive Labeling | Hirokawa, Nao; Middeldorp, Aart |
| 2007 | Constraints for Argument Filterings | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| Sep-2007 | Tyrolean termination tool: Techniques and features | Hirokawa, Nao; Middeldorp, Aart |
| 2008 | Uncurrying for Termination | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
| 2008 | Complexity, Graphs, and the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
| 2008 | Automated Complexity Analysis Based on the Dependency Pair Method | Hirokawa, Nao; Moser, Georg |
| 4-Mar-2008 | Termination Verification and Complexity Analysis of Term Rewrite Systems | Hirokawa, Nao |
| 12-Mar-2009 | KBO Orientability | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| Aug-2009 | KBO Orientability | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| 26-May-2010 | 項書き換えに基づく計算量解析の自動化 | 廣川, 直; HIROKAWA, NAO |
| 13-Jul-2010 | Decreasing Diagrams and Relative Termination | Hirokawa, Nao; Middeldorp, Aart |
| 26-Apr-2011 | Maximal Completion | Klein, Dominik; Hirokawa, Nao |
| 6-Mar-2012 | Confluence of Non-Left-Linear TRSs via Relative Termination | Klein, Dominik; Hirokawa, Nao |
| 25-Apr-2012 | Uncurrying for Termination and Complexity | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
| 31-May-2013 | 非決定計算のための項書き換え理論 | 廣川, 直; Hirokawa, Nao |
| Jun-2014 | AC-KBO Revisited | Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart |
| Jul-2014 | A New and Formalized Proof of Abstract Completion | Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian |
| Jul-2014 | Automated Complexity Analysis Based on Context-Sensitive Rewriting | Hirokawa, Nao; Moser, Georg |
| 3-Jun-2016 | 項書換えの合流性解析とその応用 | 廣川, 直; Hirokawa, Nao |
| 2017 | Infinite Runs in Abstract Completion | Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah |
| 2018 | Confluence Competition 2018 | Aoto, Takahito; Hamana, Makoto; Hirokawa, Nao; Middeldorp, Aart; Nagele, Julian; Nishida, Naoki; Shintani, Kiraku; Zankl, Harald |
