<<< 前 2022年度 | 2023年度 | 2024年度
 理学部　情報科学科　情報科学部門　木村(大)研究室
 
■ 刊行論文
原著
1. Kenji Saotome, Koji Nakazawa, Daisuke Kimura：  Restriction on cut rule in cyclic-proof system for symbolic heaps.  Theoretical Computer Science  1019 ： , 2024
  ＊：Corresponding Author
  †：本学研究者