 | 2011 |
|---|
| 11 |       | Sho Suzuki,
Keiichirou Kusakari,
Frédéric Blanqui:
Argument filterings and usable rules in higher-order rewrite systems
CoRR abs/1109.4357: (2011) |
| 10 | | 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 |
|---|
| 9 | | 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) |
| 8 | | Keiichirou Kusakari,
Masahiko Sakai:
Static Dependency Pair Method for Simply-Typed Term Rewriting and Related Techniques.
IEICE Transactions 92-D(2): 235-247 (2009) |
| 2007 |
|---|
| 7 | | Keiichirou Kusakari,
Masahiko Sakai:
Enhancing dependency pair method using strong computability in simply-typed term rewriting.
Appl. Algebra Eng. Commun. Comput. 18(5): 407-431 (2007) |
| 6 | | Keiichirou Kusakari,
Yuki Chiba:
A Higher-Order Knuth-Bendix Procedure and Its Applications.
IEICE Transactions 90-D(4): 707-715 (2007) |
| 2006 |
|---|
| 5 | | Keiichirou Kusakari,
Masaki Nakamura,
Yoshihito Toyama:
Elimination Transformations for Associative-Commutative Rewriting Systems.
J. Autom. Reasoning 37(3): 205-229 (2006) |
| 2005 |
|---|
| 4 | | Keiichirou Kusakari,
Masahiko Sakai,
Toshiki Sakabe:
Primitive Inductive Theorems Bridge Implicit Induction Methods and Inductive Theorems in Higher-Order Rewriting.
IEICE Transactions 88-D(12): 2715-2726 (2005) |
| 3 | | Masahiko Sakai,
Keiichirou Kusakari:
On Dependency Pair Method for Proving Termination of Higher-Order Rewrite Systems.
IEICE Transactions 88-D(3): 583-593 (2005) |
| 2004 |
|---|
| 2 | | Keiichirou Kusakari:
Higher-Order Path Orders Based on Computability.
IEICE Transactions 87-D(2): 352-359 (2004) |
| 1999 |
|---|
| 1 | | Keiichirou Kusakari,
Masaki Nakamura,
Yoshihito Toyama:
Argument Filtering Transformation.
PPDP 1999: 47-61 |
Data released under the ODC-BY 1.0 license — See also our legal information page