スポンサーリンク

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)

スポンサーリンク