Toshiki Sakabe

Identifiers

• name variant Toshiki Sakabe 0.60 · backfill

Papers (2)

1. Nagoya Termination Tool cs.LO · 2014 · author #3
2. A Unified Ordering for Termination Proving cs.LO · 2014 · author #3

Mentions

• 1404.6626 #3 · backfill · confidence 0.70 Toshiki Sakabe
• 1404.6245 #3 · backfill · confidence 0.70 Toshiki Sakabe

Frequent Coauthors

• Akihisa Yamada 2 shared papers
• Keiichirou Kusakari 2 shared papers