JAIST Repository >

著者:  "HIROKAWA, NAO"

「一覧: 著者」画面に戻る
タイトル順ソート 日付順ソート

27 著者名表示.

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

 


お問い合わせ先 : 北陸先端科学技術大学院大学 研究推進課図書館情報係