Yoichi Hirai (National Institute of Advanced Industrial Science

Identifiers

• name variant Yoichi Hirai (National Institute of Advanced Industrial Science 0.60 · backfill

Papers (2)

1. Containment for Conditional Tree Patterns cs.LO · 2015 · author #2
2. Session Types in Abelian Logic cs.LO · 2013 · author #1

Mentions

• 1503.02210 #2 · backfill · confidence 0.70 Yoichi Hirai (National Institute of Advanced Industrial Science
• 1312.2700 #1 · backfill · confidence 0.70 Yoichi Hirai (National Institute of Advanced Industrial Science

Frequent Coauthors

• Technology) 2 shared papers
• Alessandro Facchini (University of Warsaw) 1 shared papers
• Evgeny Sherkhonov (University of Amsterdam) 1 shared papers
• Maarten Marx (University of Amsterdam) 1 shared papers