青戸 等人 | 群馬大学工学部

スポンサーリンク

概要

• 青戸 等人の詳細を見る
• 同名の論文著者
• 群馬大学工学部の論文著者

関連著者

• 青戸 等人

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

• 青戸 等人

  群馬大学工学部

• 長谷 崇

  北陸先端科学技術大学院大学

• 山田 俊行

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

• 青戸 等入

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

著作論文

• 単純型付き項書換え系における停止性の自動証明
• Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)

スポンサーリンク