Login / Signup
Takahiro Seki
Publication Activity (10 Years)
Years Active: 2002-2020
Publications (10 Years): 2
Top Topics
Online Learning
Sequent Calculi
Modal Logic
Decision Procedures
Top Venues
Stud Logica
IEICE Trans. Inf. Syst.
TALE
JCDCGG
</>
Publications
</>