Yasuo Isogai

Identifiers

• name variant Yasuo Isogai 0.60 · backfill

Papers (1)

1. Static Dependency Pair Method based on Strong Computability for Higher-Order Rewrite Systems cs.LO · 2011 · author #2

Mentions

• 1109.5468 #2 · backfill · confidence 0.70 Yasuo Isogai

Frequent Coauthors

• Fr\'ed\'eric Blanqui (LIAMA) 1 shared papers
• Keiichirou Kusakari 1 shared papers
• Masahiko Sakai 1 shared papers