Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)

スポンサーリンク

概要

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

著者

• Sakai Masahiko

  School Of Information Science Japan Advanced Institute Of Science And Technology

関連論文

• NVNF-sequentiality of Left-linear Term Rewriting Systems(Theory of Rewriting Systems and Its Applications)
• Left-incompatible Term Rewriting Systems and its Normalizing Strategy(Theory of Rewriting Systems and Its Applications)

スポンサーリンク