竹内 泉 | 産業技術総合研究所

スポンサーリンク

概要

• 同名の論文著者
• 産業技術総合研究所の論文著者

関連著者

• 竹内 泉

  産業技術総合研究所

• 真野 健

  NTTコミュニケーション科学基礎研究所

• 竹内 泉

  独立行政法人 産業技術総合研究所 システム検証研究センター

著作論文

• 確率様相論理による秘匿性の証明 (代数と言語のアルゴリズムと計算理論)
• 確率様相論理による秘匿性の証明
• パイ計算による仕様を検証する論理体系
• 様相論理による通信の安全性の記述 (代数系アルゴリズムと言語および計算理論)
• 確率様相論理による秘匿性の証明

スポンサーリンク