吉丸 始須雄 | 関西学院大学大学院理工学研究科

スポンサーリンク

概要

• 吉丸 始須雄の詳細を見る
• 同名の論文著者
• 関西学院大学大学院理工学研究科の論文著者

関連著者

• 高橋 和子

  関西学院大学理工学部

• 吉丸 始須雄

  関西学院大学大学院理工学研究科

• 高橋 和子

  関西学院大学大学院理工学研究科

• 高橋 和子

  関西学院大学

著作論文

• 帰納的アプローチに基づく理想的電子現金方式のモデル化および証明支援系Isabelle/HOLによる安全性の証明
• 電子現金の分割利用可能性の形式化と帰納的証明

スポンサーリンク