HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Kazuko Takahashi

Publications
Towards Verified Construction for Planar Class of a Qualitative Spatial Representation
Sosuke Moriguchi, Mizuki Goto and Kazuko Takahashi
In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science
Logical and Algebraic Views of a Knot Fold of a Regular Heptagon
Fadoua Ghourabi, Tetsuo Ida and Kazuko Takahashi
In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science
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, computational origami, Coq, elecronic cash protocol, Geometrical constraint solving, induction scheme, knot fold, planarity, PLCA, proof assistant, qualitative spatial reasoning, theorem proving, theorem proving methods.

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