Middeldorp Aart | Center Of Tsukuba Advanced Research Alliance University Of Tsukuba

スポンサーリンク

概要

• Middeldorp Aartの詳細を見る
• 同名の論文著者
• Center Of Tsukuba Advanced Research Alliance University Of Tsukubaの論文著者

関連著者

• Ida Tetsuo

  Center Of Tsukuba Advanced Research Alliance University Of Tsukuba

• Middeldorp Aart

  Center Of Tsukuba Advanced Research Alliance University Of Tsukuba

• Suzuki Taro

  Center of Tsukuba Advanced Research Alliance, University of Tsukuba

• Suzuki Taro

  Center Of Tsukuba Advanced Research Alliance University Of Tsukuba

著作論文

• Level-Confluence of Conditional Rewrite Systems with Extra Variables in Right-Hand Sides(Theory of Rewriting Systems and Its Applications)

スポンサーリンク