Keiichirou Kusakari

Identifiers

• name variant Keiichirou Kusakari 0.60 · backfill

Papers (4)

1. Nagoya Termination Tool cs.LO · 2014 · author #2
2. A Unified Ordering for Termination Proving cs.LO · 2014 · author #2
3. Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems cs.LO · 2011 · author #1
4. Argument filterings and usable rules in higher-order rewrite systems cs.LO · 2011 · author #2

Mentions

• 1404.6626 #2 · backfill · confidence 0.70 Keiichirou Kusakari
• 1404.6245 #2 · backfill · confidence 0.70 Keiichirou Kusakari
• 1109.5468 #1 · backfill · confidence 0.70 Keiichirou Kusakari
• 1109.4357 #2 · backfill · confidence 0.70 Keiichirou Kusakari

Frequent Coauthors

• Akihisa Yamada 2 shared papers
• Fr\'ed\'eric Blanqui (LIAMA) 2 shared papers
• Toshiki Sakabe 2 shared papers
• Masahiko Sakai 1 shared papers
• Sho Suzuki 1 shared papers
• Yasuo Isogai 1 shared papers