Yasuo Isogai
Identifiers
- name variant Yasuo Isogai 0.60 · backfill
Papers (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