Login / Signup
Koji Nakazawa
ORCID
Publication Activity (10 Years)
Years Active: 2003-2023
Publications (10 Years): 9
Top Topics
Theorem Prover
Natural Deduction
Formal Proofs
Classical Logic
Top Venues
Stud Logica
CoRR
APLAS
Math. Struct. Comput. Sci.
</>
Publications
</>