Author:Shizuo Yoshimaru

Publications
Data Conversion Method between a Natural Number and a Binary Tree for an Inductive Proof and Its Application Kazuko Takahashi, Shizuo Yoshimaru and Mizuki Goto In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science