単純型付き項書換え系における停止性の自動証明

スポンサーリンク

概要

• 論文の詳細を見る
• 情報処理学会の論文
• 2003-03-15

著者

• 山田 俊行

  三重大学工学部情報工学科

• 青戸 等人

  群馬大学工学部情報工学科

• 青戸 等入

  群馬大学工学部情報工学科

• 青戸 等人

  群馬大学工学部

関連論文

• The Reachability and Related Decision Problems for Semi-Constructor TRSs (Theoretical Computer Science and its Applications)
• The Joinability and Unification Problems for Confluent Semi-Constructor TRSs (Evolutionary Advancement in Fundamental Theories of Computer Science)
• 単項的TRSにおける単ー化問題について
• 型付けによるファイル間データ非干渉の検証
• 単純型付き項書換え系における停止性の自動証明
• 単純型付き項書換え系における停止性の自動証明
• A-016 DAGの高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(A分野:モデル・アルゴリズム・プログラミング)
• Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)
• DAG の高さを4以下に制限したタスクスケジューリングの近似アルゴリズムについて(計算機科学の理論とその応用)

スポンサーリンク