TOP Page >  Search Result  >  Profile > Display All

Published Papers
Results per page:
Chronological sort:

 

 

Nao Hirokawa Associate Professor
School of Information Science、Intelligent Robotics Area

Results 1-20 of about 26

  • 1. CoLL: A Confluence Tool for Left-Linear Term Rewrite Systems,Kiraku Shintani and Nao Hirokawa,Proceedings of the 25th International Conference on Automated Deduction,2015
  • 2. Confluence Competition 2015,Takahito Aoto, Nao Hirokawa, Julian Nagele, Naoki Nishida, and Harald Zankl,Proceedings of the 25th International Conference on Automated Deduction, Lecture Notes in Artificial Intelligence 9195, 2015,pp.101-104
  • 3. AC-KBO Revisited,Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp,Theory and Practice of Logic Programming to appear,2015
  • 4. Leftmost Outermost Revisited,Nao Hirokawa, Aart Middeldorp, and Georg Moser,Proceedings of the 26th International Conference on Rewriting Techniques and Applications, Leibnitz International Proceedings in Informatics, 2015. to appear
  • 5. Automated Complexity Analysis Based on Context-Sensitive Rewriting,Nao Hirokawa and Georg Moser,Proceedings of the Joint 25th International Conference on Rewriting Techniques and Applications and 12th International Conference on Typed Lambda Calculi and Applications (RTA-TLCA 2014). Lecture Notes in Computer Science,8560,257, 15,2014
  • 6. A New and Formalized Proof of Abstract Completion,Nao Hirokawa, Aart Middeldorp, and Christian Sternagel,Proceedings of the 5th International Conference on Interactive Theorem Proving (ITP 2014). Lecture Notes in Computer Science,8558,292, 16,2014
  • 7. AC-KBO Revisited,Akihisa Yamada, Sarah Winkler, Nao Hirokawa, and Aart Middeldorp,Proceedings of the 12th International Symposium on Functional and Logic Programming (FLOPS 2014). Lecture Notes in Computer Science,8475,319, 17,2014
  • 8. Uncurrying for Termination and Complexity,Nao Hirokawa, Aart Middeldorp, and Harald Zankl,Journal of Automated Reasoning,50,3,279, 26
  • 9. Confluence of Non-Left-Linear TRSs via Relative Termination,Dominik Klein and Nao Hirokawa,Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Notes in Computer Science 7180, 2012,pp. 258-273
  • 10. Uncurrying for Innermost Termination and Derivational Complexity,Harald Zankl, Nao Hirokawa, and Aart Middeldorp,Proceedings of the 5th International Workshop on Higher-Order Rewriting, Electronic Proceedings in Theoretical Computer Science,49,46, 12,2011
  • 11. Decreasing Diagrams and Relative Termination,Nao Hirokawa and Aart Middeldorp,Journal of Automated Reasoning, 2011,47,4,pp. 481-501
  • 12. Maximal Completion,Dominik Klein and Nao Hirokawa,Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, Leibnitz International Proceedings in Informatics,10,71,10,2011
  • 13. Decreasing Diagrams and Relative Termination,Nao Hirokawa and Aart Middeldorp,Proceedings of the 5th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence,6173,487, 15,2010
  • 14. KBO Orientability,Harald Zankl, Nao Hirokawa, and Aart Middeldorp,Journal of Automated Reasoning.,43,2,173,29,2009
  • 15. Complexity, Graphs, and the Dependency Pair Method,Nao Hirokawa and Georg Moser,Proceedings of the 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science 5330, 2008,pp. 652-666
  • 16. Automated Complexity Analysis Based on the Dependency Pair Method,Nao Hirokawa and Georg Moser,Proceedings of the 4th International Joint Conference on Automated Reasoning, Lecture Notes in Artificial Intelligence 5195, pp. 364-379, 2008
  • 17. Uncurrying for Termination,Nao Hirokawa, Aart Middeldorp, and Harald Zankl,Proceedings of the 15th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning, Lecture Notes in Computer Science, 2008. To appear
  • 18. 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
  • 19. Tyrolean Termination Tool: Techniques and Features,Nao Hirokawa and Aart Middeldorp,Information and Computation 205(4), pp. 474-511, 2007
  • 20. 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

 1  2 Next ≫ ]