Middeldorp Aart | 筑波大学電子・情報工学系

スポンサーリンク

概要

• Middeldorp Aartの詳細を見る
• 同名の論文著者
• 筑波大学電子・情報工学系の論文著者

関連著者

• Middeldorp Aart

  筑波大学電子・情報工学系

• 井田 哲雄

  筑波大学電子・情報工学系

• 井田 哲雄

  筑波大学システム情報工学研究科コンピュータサイエンス専攻

• Middeldorp Aart

  筑波大学電子情報工学系

• ミデルドープ アート

  筑波大学電子情報工学系

• 山田 俊行

  筑波大学博士課程工学研究科

• 大崎 人士

  筑波大学博士課程工学研究科

• 藤田 憲悦

  島根大学総合理工学部数理情報システム学科

• 藤田 憲悦

  群馬大学大学院工学研究科

• Middeldorp Aart

  筑波大学電子情報工学部

• 大崎 人士

  電子技術総合研究所

• 藤田 憲悦

  島根大学総合理工学部数理・情報システム学科

もっと見る 閉じる

著作論文

• 条件付き項書換え系の健全性と完全性
• 意味ラベリングによる分配消去法 : 項書換え系の停止性証明法
• 条件付き項書換え系における階層合流性のモジュラ性
• Parallel Computation and Synchronized Term Rewriting Systems : Extended Abstract (Algebraic Semigroups, Formal Languages and Computation)
• Strategies for Rewrite Systems : Normalization and Optimality (Languages, Algebra and Computer Systems)

スポンサーリンク