Login / Signup
Keiko Nakata
Publication Activity (10 Years)
Years Active: 2006-2016
Publications (10 Years): 2
Top Topics
Cooperative
Sequent Calculi
Formal Analysis
Dynamic Logic
Top Venues
TYPES
NII Shonan Meet. Rep.
Log. Methods Comput. Sci.
CoRR
</>
Publications
</>