Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hirokawa, Nao - School of Information Science, Japan Advanced Institute of Science and Technology
Dissertation Automated Termination Analysis
Predictive Labeling Nao Hirokawa and Aart Middeldorp
Decreasing Diagrams and Relative Termination Nao Hirokawa1
Automating the Dependency Pair Method Nao Hirokawa Aart Middeldorp
Maximal Completion Dominik Klein1
Constraints for Argument Filterings Harald Zankl, Nao Hirokawa, and Aart Middeldorp
Uncurrying for Termination Nao Hirokawa1
J Autom Reasoning manuscript No. (will be inserted by the editor)
Automating the Dependency Pair Method Nao Hirokawa1
Tsukuba Termination Tool Nao Hirokawa1
Dependency Pairs Revisited Nao Hirokawa and Aart Middeldorp
EPTCS ??, 20??, pp. 112, doi:10.4204/EPTCS.??.?? c H. Zankl, N. Hirokawa & A. Middeldorp
Complexity, Graphs, and the Dependency Pair Nao Hirokawa
Tyrolean Termination Tool Nao Hirokawa and Aart Middeldorp
Automated Complexity Analysis Based on the Dependency Pair Method
Tyrolean Termination Tool: Techniques and Features
Polynomial Interpretations with Negative Coefficients Nao Hirokawa and Aart Middeldorp
J Autom Reasoning manuscript No. (will be inserted by the editor)
