HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

computational model, elecronic cash protocol, induction scheme, theorem proving methods.

Copyright © 2012-2025 easychair.org. All rights reserved.