Login / Signup
Kiraku Shintani
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 7
Top Topics
Third Party
Term Rewrite Systems
Multiple Criteria
Theorem Prover
Top Venues
FSCD
CoRR
CPP
Int. J. Softw. Tools Technol. Transf.
</>
Publications
</>