Masahiko Sakai

Identifiers

• name variant Masahiko Sakai 0.60 · backfill

Papers (1)

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

Mentions

• 1109.5468 #3 · backfill · confidence 0.70 Masahiko Sakai

Frequent Coauthors

• Fr\'ed\'eric Blanqui (LIAMA) 1 shared papers
• Keiichirou Kusakari 1 shared papers
• Yasuo Isogai 1 shared papers