Kusakari Keiichirou | Research Institute Of Electrical Communication Tohoku University

スポンサーリンク

概要

• 同名の論文著者
• Research Institute Of Electrical Communication Tohoku Universityの論文著者

関連著者

• Kusakari Keiichirou

  Research Institute Of Electrical Communication Tohoku University

• TOYAMA Yoshihito

  Research Institute of Electrical Communication, Tohoku University

• Toyama Yoshihito

  Research Institute Of Electrical Communication Tohoku University

著作論文

• On Proving Termination of Term Rewriting Systems with Higher-Order Variables
• On Proving AC-Termination by AC-Dependency Pairs

スポンサーリンク