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

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

 

 

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

29件中21-29件目

  • 21. Tyrolean Termination Tool: Techniques and Features,Nao Hirokawa and Aart Middeldorp,Information and Computation 205(4), pp. 474-511, 2007
  • 22. Constraints for Argument Filterings,Harald Zankl, Nao Hirokawa, and Aart Middeldorp,Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer Science, Lecture Notes in Computer Science,4362,579, 12,2007
  • 23. Predictive Labeling,Nao Hirokawa and Aart Middeldorp,Proceedings of the 17th International Conference on Rewriting Techniques and Applications, Lecture Notes in Computer Science,4098,313, 15,2006
  • 24. 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
  • 25. Automating the Dependency Pair Method,Nao Hirokawa and Aart Middeldorp,Information and Computation 199(1,2), pp. 172-199, 2005
  • 26. 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
  • 27. 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
  • 28. 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
  • 29. 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

≪ 前へ ]  1  2