Login / Signup
Naoki Nishida
ORCID
Publication Activity (10 Years)
Years Active: 2003-2024
Publications (10 Years): 32
Top Topics
Theorem Prover
Reversible Watermarking
Term Rewriting
Tree Grammars
Top Venues
J. Log. Algebraic Methods Program.
CoRR
WPTE@FSCD
FSCD
</>
Publications
</>