![]() | ![]() |
| 2011 | ||
|---|---|---|
| 2 | Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui: Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems CoRR abs/1109.5468: (2011) | |
| 2009 | ||
| 1 | Keiichirou Kusakari, Yasuo Isogai, Masahiko Sakai, Frédéric Blanqui: Static Dependency Pair Method Based on Strong Computability for Higher-Order Rewrite Systems. IEICE Transactions 92-D(10): 2007-2015 (2009) | |
| 1 | Frédéric Blanqui | [1] [2] |
| 2 | Keiichirou Kusakari | [1] [2] |
| 3 | Masahiko Sakai | [1] [2] |
Data released under the ODC-BY 1.0 license — See also our legal information page