NVNF-sequentiality of Left-linear Term Rewriting Systems

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 長谷 崇

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

• 長谷 崇

  School of Information Science, JAIST

• 酒井 正彦

  School of Information Science, JAIST

• 外山 芳人

  School of Information Science, JAIST

関連論文

• 重なりのある強逐次系のインデックス簡約について
• NVNF-sequentiality of Left-linear Term Rewriting Systems
• E重なりのある単純右線形項書き換えシステムの合流性について
• NVNF-逐次系におけるインデックスの決定可能性
• Decidable/Undecidable Properties of Conditional Term Rewriting Systems (Languages, Algebra and Computer Systems)

スポンサーリンク