二井 靖彦 | 名古屋大学工学研究科情報工学専攻

スポンサーリンク

概要

• 二井 靖彦の詳細を見る
• 同名の論文著者
• 名古屋大学工学研究科情報工学専攻の論文著者

関連著者

• 坂部 俊樹

  名古屋大学大学院情報科学研究科

• 二井 靖彦

  名古屋大学工学研究科情報工学専攻

• 坂部 俊樹

  名古屋大学大学院 情報科学研究科

著作論文

• 代数的仕様における振舞等価性証明のための線形文脈帰納法について (計算モデルとアルゴリズム)
• 代数的仕様の実現検証のための線形文脈帰納法について

スポンサーリンク