北陸先端科学技術大学院大学 [JAIST] - 研究者総覧
現在ページ トップページ 検索結果研究者紹介>全件表示

発表論文表示
表示方法:
表示順:

 

 

廣川 直 (ヒロカワ ナオ) 准教授
情報科学系、知能ロボティクス領域

26件中21-26件目

  • 21. Tyrolean Termination Tool,Nao Hirokawa and Aart Middeldorp,Proceedings of the 16th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science 3467, pp. 175-184, 2005
  • 22. Automating the Dependency Pair Method,Nao Hirokawa and Aart Middeldorp,Information and Computation 199(1,2), pp. 172-199, 2005
  • 23. Dependency Pairs Revisited,Nao Hirokawa and Aart Middeldorp,Proceedings of the 15th International Conference on Rewriting Techniques and Applications, Aachen, Lecture Notes in Computer Science 3091, pp. 249-268, 2004
  • 24. Polynomial Interpretations with Negative Coefficients,Nao Hirokawa and Aart Middeldorp,Proceedings of the 7th International Conference on Artificial Intelligence and Symbolic Mathematical Computation, Lecture Notes in Artificial Intelligence 3249, pp. 185-198, 2004
  • 25. Automating the Dependency Pair Method,Nao Hirokawa and Aart Middeldorp,Proceedings of the 19th International Conference on Automated Deduction, Miami, Lecture Notes in Artificial Intelligence 2741, pp. 32-46, 2003
  • 26. Tsukuba Termination Tool,Nao Hirokawa and Aart Middeldorp,Proceedings of the 14th International Conference on Rewriting Techniques and Applications, Valencia, Lecture Notes in Computer Science 2706, pp. 311-320, 2003

≪ 前へ ]  1  2