田中 三貴 | 産業技術総合研究所情報セキュリティ研究センター

スポンサーリンク

概要

• 田中 三貴の詳細を見る
• 同名の論文著者
• 産業技術総合研究所情報セキュリティ研究センターの論文著者

関連著者

• 田中 三貴

  産業技術総合研究所情報セキュリティ研究センター

• 田中 三貴

  情報通信研究機構

著作論文

• 定理証明ツールによる証明可能安全性 (代数、言語のアルゴリズムと計算理論)
• Generic Binding Signatures (Algebra, Languages and Computation)

スポンサーリンク