AOTO TAKAHITO | RIEC, Tohoku University

スポンサーリンク

概要

• AOTO Takahitoの詳細を見る
• 同名の論文著者
• RIEC, Tohoku Universityの論文著者

関連著者

• AOTO TAKAHITO

  RIEC, Tohoku University

• Aoto Takahito

  Riec Tohoku University

• Chiba Yuki

  Japan Advanced Institute Of Science And Technology

• Toyama Yoshihito

  Riec Tohoku University

• TOYAMA Yoshihito

  RIEC, Tohoku University

著作論文

• Soundness of Rewriting Induction Based on an Abstract Principle
• Program Transformation Templates for Tupling Based on Term Rewriting
• Soundness of Rewriting Induction Based on an Abstract Principle

スポンサーリンク