15 著者名表示.
| 発行日 | タイトル |
著者 |
|---|
| 2003 | Automating the Dependency Pair Method | Hirokawa, Nao; Middeldorp, Aart |
| 2003 | Tsukuba Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
| 2004 | Polynomial Interpretations with Negative Coefficients | Hirokawa, Nao; Middeldorp, Aart |
| 2004 | Dependency Pairs Revisited | Hirokawa, Nao; Middeldorp, Aart |
| 2005 | Tyrolean Termination Tool | Hirokawa, Nao; Middeldorp, Aart |
| Jun-2005 | Automating the dependency pair method | Hirokawa, Nao; Middeldorp, Aart |
| 2006 | Predictive Labeling | Hirokawa, Nao; Middeldorp, Aart |
| 2007 | Constraints for Argument Filterings | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| Sep-2007 | Tyrolean termination tool: Techniques and features | Hirokawa, Nao; Middeldorp, Aart |
| 2008 | Uncurrying for Termination | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
| Aug-2009 | KBO Orientability | Zankl, Harald; Hirokawa, Nao; Middeldorp, Aart |
| 25-Apr-2012 | Uncurrying for Termination and Complexity | Hirokawa, Nao; Middeldorp, Aart; Zankl, Harald |
| Jun-2014 | AC-KBO Revisited | Yamada, Akihisa; Winkler, Sarah; Hirokawa, Nao; Middeldorp, Aart |
| Jul-2014 | A New and Formalized Proof of Abstract Completion | Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian |
| 2017 | Infinite Runs in Abstract Completion | Hirokawa, Nao; Middeldorp, Aart; Sternagel, Christian; Winkler, Sarah |
