Login / Signup
Kenta Ishimoto
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Complete Axiomatization
Theorem Prover
Natural Language
Intuitionistic Logic
Top Venues
SIAM J. Appl. Math.
</>
Publications
</>
Kenta Ishimoto
,
Michio Yamada
A Coordinate-Based Proof of the Scallop Theorem.
SIAM J. Appl. Math.
72 (5) (2012)