Scholar
Koji Nakazawa
Google Scholar ID: X-ugrlAAAAAJ
Nagoya University
Computer Science
Mathematical Logic
Follow
Google Scholar
↗
Citations & Impact
All-time
Citations
109
H-index
6
i10-index
2
Publications
20
Co-authors
0
Publications
3 items
Admissibility of Substitution Rule in Cyclic-Proof Systems
2025
Cited
0
Relative Completeness of Incorrectness Separation Logic
2025
Cited
0
Incorrectness Separation Logic with Arrays and Pointer Arithmetic
2025
Cited
0
