Login / Signup
Satoru Niki
ORCID
Publication Activity (10 Years)
Years Active: 2020-2023
Publications (10 Years): 12
Top Topics
Proof Theoretic
Intuitionistic Logic
Valued Logic
Expressive Power
Top Venues
AiML
Bull. Symb. Log.
J. Log. Comput.
J. Log. Lang. Inf.
</>
Publications
</>