長谷 崇 | 北陸先端科学技術大学院大学

スポンサーリンク

概要

• 長谷 崇の詳細を見る
• 同名の論文著者
• 北陸先端科学技術大学院大学の論文著者

関連著者

• 長谷 崇

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

• 酒井 正彦

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

• 外山 芳人

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

• 青戸 等人

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

• 長谷 崇

  School of Information Science, JAIST

• 酒井 正彦

  School of Information Science, JAIST

• 外山 芳人

  School of Information Science, JAIST

• 青戸 等人

  群馬大学工学部

著作論文

• 重なりのある強逐次系のインデックス簡約について
• NVNF-sequentiality of Left-linear Term Rewriting Systems
• NVNF-逐次系におけるインデックスの決定可能性
• Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)

スポンサーリンク