外山 芳人 | School of Information Science, JAIST

スポンサーリンク

概要

• 同名の論文著者
• School of Information Science, JAISTの論文著者

関連著者

• 外山 芳人

  School of Information Science, JAIST

• 長谷 崇

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

• 大山口 通夫

  Department Of Information Engineering Faculty Of Engineering Mie University

• 長谷 崇

  School of Information Science, JAIST

• 酒井 正彦

  School of Information Science, JAIST

著作論文

• NVNF-sequentiality of Left-linear Term Rewriting Systems
• E重なりのある単純右線形項書き換えシステムの合流性について

スポンサーリンク