洪 順姫 | 名古屋大学大学院 工学研究科

スポンサーリンク

概要

• 同名の論文著者
• 名古屋大学大学院 工学研究科の論文著者

関連著者

• 坂部 俊樹

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

• 洪 順姫

  名古屋大学大学院 工学研究科

• 酒井 正彦

  名古屋大学

• 坂部 俊樹

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

• 洪 順姫

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

著作論文

• メタ項書換え計算における規則中に規則を含む直交メタ項の合流性
• 直交メタ項書換え計算のデベロップメントと合流性

スポンサーリンク