Statistics
Publications
3
Citations
33
H-Index
3
Active since
2003
Affiliations
Koji Nakazawa is an author at Kyoto University specializing in computer science, formal methods, and computing.
Publications per year
2003–2020
3
3
Failure of cut-elimination in cyclic proofs of separation logic
Daisuke Kimura, Koji Nakazawa, Tachio Terauchi et al. · Computer Software · 2020 · 11 citations
1–3 of 3