Login / Signup
Norihiro Kamide
ORCID
Publication Activity (10 Years)
Years Active: 1999-2024
Publications (10 Years): 65
Top Topics
Sequent Calculi
Fuzzy Description Logics
Model Checking
Classical Logic
Top Venues
ISMVL
ICAART (2)
J. Philos. Log.
Stud Logica
</>
Publications
</>