Strategies for Rewrite Systems : Normalization and Optimality (Languages, Algebra and Computer Systems)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 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)

スポンサーリンク